about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/print
AgeCommit message (Expand)AuthorLines
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
2023-03-15ImplTraitPlaceholder -> is_impl_trait_in_traitSantiago Pastorino-1/+1
2023-03-02rustc_middle: Remove trait `DefIdTree`Vadim Petrochenkov-2/+2
2023-02-22Remove type-traversal trait aliasesAlan Egerton-13/+13
2023-02-18Pretty placeholders using their namesMichael Goulet-1/+4
2023-02-17Add `Clause::ConstArgHasType` variantBoxy-4/+7
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-2/+2
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-1/+1
2023-02-15Add specialized variants of `mk_region`.Nicholas Nethercote-9/+9
2023-02-13Rename folder traits' `tcx` method to `interner`Alan Egerton-1/+1
2023-02-13Make folding traits generic over the InternerAlan Egerton-1/+1
2023-02-13Make visiting traits generic over the InternerAlan Egerton-1/+1
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-2/+2
2023-02-13Pre-intern some commonly used type variables.Nicholas Nethercote-2/+2
2023-02-12Auto merge of #105671 - lukas-code:depreciate-char, r=scottmcmbors-1/+0
2023-02-11Auto merge of #107507 - BoxyUwU:deferred_projection_equality, r=lcnrbors-0/+1
2023-02-10add `AliasEq` to `PredicateKind`Boxy-0/+1
2023-02-09Change to `ReError(ErrorGuaranteed)`Esteban Küber-2/+2
2023-02-09Introduce `ReError`Esteban Küber-1/+2
2023-02-03Rollup merge of #107585 - compiler-errors:fndef-sig-cycle, r=oli-obkDylan DPC-5/+18
2023-02-02Tweak misleading commentMichael Goulet-1/+1
2023-02-02Don't cause a cycle when formatting query description that references a FnDefMichael Goulet-5/+18
2023-01-31Rollup merge of #107486 - compiler-errors:bound-ty-keep-name, r=oli-obkGuillaume Gomez-2/+4
2023-01-30Track bound types like bound regionsMichael Goulet-2/+4
2023-01-30Hide lifetimes of `impl Trait` in force trimmed pathsEsteban Küber-3/+5
2023-01-30Do not mention lifetime names in force trimmed pathsEsteban Küber-0/+4
2023-01-30Don't show `for<'lt>` in force trimmed pathsEsteban Küber-3/+8
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-0/+23