summaryrefslogtreecommitdiff
path: root/compiler/rustc_middle/src/ty/print/pretty.rs
Commit message (Expand)AuthorAgeFilesLines
* Rollup merge of #111625 - Zoxc:rustc_middle-query-move, r=cjgillotDylan DPC2023-05-171-1/+1
|\
| * Finish move of query.rsJohn Kåre Alsaker2023-05-171-1/+1
* | format `Const`'s less verboselyBoxy2023-05-161-29/+31
|/
* Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker2023-05-151-2/+3
* Rollup merge of #109410 - fmease:iat-alias-kind-inherent, r=compiler-errorsMichael Goulet2023-05-081-1/+1
|\
| * IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr2023-05-041-1/+1
* | Auto merge of #111161 - compiler-errors:rtn-super, r=cjgillotbors2023-05-071-0/+6
|\ \ | |/ |/|
| * Error message for ambiguous RTN from super boundsMichael Goulet2023-05-031-0/+6
* | Implement negative boundsMichael Goulet2023-05-021-0/+3
|/
* Remove unused `TypeFoldable`/`TypeVisitable` impls.Nicholas Nethercote2023-04-261-1/+1
* Rollup merge of #110556 - kylematsuda:earlybinder-explicit-item-bounds, r=com...Matthias Krüger2023-04-251-1/+1
|\
| * add EarlyBinder to output of explicit_item_bounds; replace bound_explicit_ite...Kyle Matsuda2023-04-201-1/+1
* | Auto merge of #108118 - oli-obk:lazy_typeck, r=cjgillotbors2023-04-231-3/+14
|\ \
| * | Allow `LocalDefId` as the argument to `def_path_str`Oli Scherer2023-04-211-3/+14
* | | Print ty placeholders prettyMichael Goulet2023-04-221-1/+15
|/ /
* | Remove WithOptconstParam.Camille GILLOT2023-04-201-4/+4
|/
* Remove `TypeSuper{Foldable,Visitable}` impls for `Region`.Nicholas Nethercote2023-04-161-1/+1
* Fix typos in compilerDaniPopes2023-04-101-1/+1
* Remove u32 on BoundTyKind::AnonJack Huey2023-04-061-4/+2
* Use BoundTy and BoundRegion instead of kind of PlaceholderTy and PlaceholderR...Jack Huey2023-04-061-4/+11
* Rollup merge of #109506 - BoxyUwU:debugable_bound_var_printing, r=compiler-er...Matthias Krüger2023-03-231-1/+5
|\
| * make param bound vars visibly bound varsBoxy2023-03-231-1/+5
* | Printing alias-relate goals correctlyMichael Goulet2023-03-231-2/+1
* | Rename AliasEq -> AliasRelateMichael Goulet2023-03-231-1/+1
* | Include relation direction in AliasEq predicateMichael Goulet2023-03-231-1/+2
|/
* ImplTraitPlaceholder -> is_impl_trait_in_traitSantiago Pastorino2023-03-151-1/+1
* rustc_middle: Remove trait `DefIdTree`Vadim Petrochenkov2023-03-021-1/+1
* Remove type-traversal trait aliasesAlan Egerton2023-02-221-13/+13
* Pretty placeholders using their namesMichael Goulet2023-02-181-1/+4
* Add `Clause::ConstArgHasType` variantBoxy2023-02-171-4/+7
* remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda2023-02-161-1/+1
* change usages of type_of to bound_type_ofKyle Matsuda2023-02-161-1/+1
* Add specialized variants of `mk_region`.Nicholas Nethercote2023-02-151-9/+9
* Rename folder traits' `tcx` method to `interner`Alan Egerton2023-02-131-1/+1
* Make folding traits generic over the InternerAlan Egerton2023-02-131-1/+1
* Make visiting traits generic over the InternerAlan Egerton2023-02-131-1/+1
* Alias folding/visiting traits instead of re-exportAlan Egerton2023-02-131-2/+2
* Pre-intern some commonly used type variables.Nicholas Nethercote2023-02-131-2/+2
* Auto merge of #105671 - lukas-code:depreciate-char, r=scottmcmbors2023-02-121-1/+0
|\
| * Use associated items of `char` instead of freestanding items in `core::char`Lukas Markeffsky2023-01-141-1/+0
* | Auto merge of #107507 - BoxyUwU:deferred_projection_equality, r=lcnrbors2023-02-111-0/+1
|\ \
| * | add `AliasEq` to `PredicateKind`Boxy2023-02-101-0/+1
* | | Change to `ReError(ErrorGuaranteed)`Esteban Küber2023-02-091-2/+2
* | | Introduce `ReError`Esteban Küber2023-02-091-1/+2
|/ /
* | Rollup merge of #107585 - compiler-errors:fndef-sig-cycle, r=oli-obkDylan DPC2023-02-031-5/+18
|\ \
| * | Tweak misleading commentMichael Goulet2023-02-021-1/+1
| * | Don't cause a cycle when formatting query description that references a FnDefMichael Goulet2023-02-021-5/+18
* | | Rollup merge of #107486 - compiler-errors:bound-ty-keep-name, r=oli-obkGuillaume Gomez2023-01-311-2/+4
|\ \ \ | |/ / |/| |
| * | Track bound types like bound regionsMichael Goulet2023-01-301-2/+4
* | | Hide lifetimes of `impl Trait` in force trimmed pathsEsteban Küber2023-01-301-3/+5