summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/print
AgeCommit message (Expand)AuthorLines
2023-07-06Auto merge of #113377 - BoxyUwU:move_ty_ctors_to_ty, r=compiler-errorsbors-2/+2
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-2/+2
2023-07-05Document magic booleanOli Scherer-1/+3
2023-07-05Remove a function argument that is always passed with the same value.Oli Scherer-26/+13
2023-07-04Replace `mk_const` with `Const::new_x` methodsBoxy-1/+2
2023-07-03remove TypeWellFormedFromEnvMichael Goulet-3/+0
2023-06-28Rustdoc nit: refer to macro from docsOli Scherer-1/+1
2023-06-27Avoid calling queries during query stack printingOli Scherer-4/+9
2023-06-26TypeWellFormedInEnvMichael Goulet-3/+3
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-11/+23
2023-06-22Migrate item_bounds to ty::ClauseMichael Goulet-3/+3
2023-06-19s/Clause/ClauseKindMichael Goulet-10/+10
2023-06-17Move ConstEvaluatable to ClauseMichael Goulet-1/+1
2023-06-17Move WF goal to clauseMichael Goulet-1/+1
2023-06-16Add `AliasKind::Weak` for type aliases.Oli Scherer-1/+1
2023-05-30Auto merge of #112075 - WaffleLapkin:unmkII, r=lcnrbors-6/+13
2023-05-29Rollup merge of #111988 - BoxyUwU:make_tykind_debug_good, r=compiler-errorsMatthias Krüger-43/+19
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-6/+13
2023-05-28Make EarlyBinder's inner value private; and fix all of the resulting errorsKyle Matsuda-1/+1
2023-05-26better `TyKind::Debug`Boxy-43/+19
2023-05-26print const and type errors in braces not square bracketsBoxy-3/+3
2023-05-23Rollup merge of #111486 - fmease:pp-inh-proj, r=petrochenkovMatthias Krüger-1/+21
2023-05-22properly pretty-print inherent projectionsLeón Orell Valerian Liehr-1/+21
2023-05-17Rollup merge of #111625 - Zoxc:rustc_middle-query-move, r=cjgillotDylan DPC-1/+1
2023-05-17Finish move of query.rsJohn Kåre Alsaker-1/+1
2023-05-16format `Const`'s less verboselyBoxy-29/+31
2023-05-15Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker-2/+3
2023-05-08Rollup merge of #109410 - fmease:iat-alias-kind-inherent, r=compiler-errorsMichael Goulet-1/+1
2023-05-07Auto merge of #111161 - compiler-errors:rtn-super, r=cjgillotbors-0/+6
2023-05-04IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr-1/+1
2023-05-04Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnrbors-2/+5
2023-05-03Error message for ambiguous RTN from super boundsMichael Goulet-0/+6
2023-05-02Implement negative boundsMichael Goulet-0/+3
2023-04-26Remove unused `TypeFoldable`/`TypeVisitable` impls.Nicholas Nethercote-1/+1
2023-04-25Rollup merge of #110556 - kylematsuda:earlybinder-explicit-item-bounds, r=com...Matthias Krüger-1/+1
2023-04-25Replace `tcx.mk_trait_ref` with `ty::TraitRef::new`Maybe Waffle-2/+5
2023-04-23Auto merge of #108118 - oli-obk:lazy_typeck, r=cjgillotbors-4/+15
2023-04-22Print ty placeholders prettyMichael Goulet-1/+15
2023-04-21Allow `LocalDefId` as the argument to `def_path_str`Oli Scherer-4/+15
2023-04-20add EarlyBinder to output of explicit_item_bounds; replace bound_explicit_ite...Kyle Matsuda-1/+1
2023-04-20Remove WithOptconstParam.Camille GILLOT-4/+4
2023-04-16Remove `TypeSuper{Foldable,Visitable}` impls for `Region`.Nicholas Nethercote-1/+1
2023-04-10Fix typos in compilerDaniPopes-1/+1
2023-04-06Remove u32 on BoundTyKind::AnonJack Huey-4/+2
2023-04-06Use BoundTy and BoundRegion instead of kind of PlaceholderTy and PlaceholderR...Jack Huey-4/+11
2023-03-23Rollup merge of #109506 - BoxyUwU:debugable_bound_var_printing, r=compiler-er...Matthias Krüger-1/+5
2023-03-23Printing alias-relate goals correctlyMichael Goulet-2/+1
2023-03-23Rename AliasEq -> AliasRelateMichael Goulet-1/+1
2023-03-23Include relation direction in AliasEq predicateMichael Goulet-1/+2
2023-03-23make param bound vars visibly bound varsBoxy-1/+5