about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/print
AgeCommit message (Expand)AuthorLines
2024-05-13split out AliasTy -> AliasTermMichael Goulet-15/+23
2024-05-11Apply nits, uplift ExistentialPredicate tooMichael Goulet-10/+10
2024-05-11Uplift `NormalizesTo`, `CoercePredicate`, and `SubtypePredicate`Michael Goulet-18/+18
2024-05-11Uplift `ExistentialTraitRef`, `ExistentialProjection`, `ProjectionPredicate`Michael Goulet-14/+14
2024-05-11Uplift `TraitPredicate`Michael Goulet-10/+11
2024-05-10Also debugMichael Goulet-0/+4
2024-05-10Lift `TraitRef` into `rustc_type_ir`Michael Goulet-8/+26
2024-05-10Auto merge of #124961 - matthiaskrgr:rollup-1jj65p6, r=matthiaskrgrbors-1/+1
2024-05-09Rename Generics::params to Generics::own_paramsMichael Goulet-1/+1
2024-05-09always use `GenericArgsRef`lcnr-1/+1
2024-04-29Remove `extern crate rustc_macros` from `rustc_middle`.Nicholas Nethercote-0/+1
2024-04-19Stop taking ParamTy/ParamConst/EarlyParamRegion/AliasTy by refMichael Goulet-2/+2
2024-04-10introduce `Mutability::ptr_str`Kalle Wachsmuth-7/+1
2024-04-08Actually create ranged int types in the type system.Oli Scherer-1/+4
2024-04-03rustc_index: Add a `ZERO` constant to index typesVadim Petrochenkov-1/+1
2024-03-27Remove `Partial/Ord` from `BoundRegion`Oli Scherer-5/+5
2024-03-25In `pretty_print_type()`, print `async fn` futures' paths instead of spans.Kevin Reid-5/+13
2024-03-22Auto merge of #122900 - matthiaskrgr:rollup-nls90mb, r=matthiaskrgrbors-12/+12
2024-03-22Split out ImplPolarity and PredicatePolarityMichael Goulet-12/+12
2024-03-22Make RawPtr take Ty and Mutbl separatelyMichael Goulet-4/+4
2024-03-22Programmatically convert some of the pat ctorsMichael Goulet-1/+1
2024-03-17added pretty_print_const_exprwill-2/+152
2024-03-12Change `DefKind::Static` to a struct variantOli Scherer-1/+1
2024-03-11Rename `IntoDiagnosticArg` as `IntoDiagArg`.Nicholas Nethercote-6/+6
2024-03-05Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult`Jason Newcomb-9/+3
2024-03-03Add a proper `with_no_queries` to printingJohn Kåre Alsaker-8/+18
2024-02-28Auto merge of #121489 - nnethercote:diag-renaming, r=davidtwcobors-2/+2
2024-02-28Rename `DiagnosticArg{,Map,Name,Value}` as `DiagArg{,Map,Name,Value}`.Nicholas Nethercote-2/+2
2024-02-27Print RPITIT like an opaqueMichael Goulet-8/+12
2024-02-23compiler: clippy::complexity fixesMatthias Krüger-1/+1
2024-02-22drive-by fmt cleanupEsteban Küber-1/+1
2024-02-13Remove `good_path_delayed_bug`.Nicholas Nethercote-6/+5
2024-02-10Print kind of coroutine closureMichael Goulet-1/+18
2024-02-07address review comments and add more testsLukas Markeffsky-10/+15
2024-02-07improve pretty printing for trait objectsLukas Markeffsky-12/+41
2024-02-06Fix drop shim for AsyncFnOnce closure, AsyncFnMut shim for AsyncFn closureMichael Goulet-2/+19
2024-02-06Bless tests, add commentsMichael Goulet-1/+1
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-0/+43
2024-01-30Remove the lifetime from `DiagnosticArgValue`.Nicholas Nethercote-2/+2
2024-01-23Rollup merge of #120270 - compiler-errors:randos, r=lcnrLeón Orell Valerian Liehr-24/+14
2024-01-23Random type checker changesMichael Goulet-24/+14
2024-01-22Fix a `trimmed_def_paths` assertion failure.Nicholas Nethercote-2/+0
2024-01-17Use FnOnceOutput instead of FnOnce where expectedOli Scherer-1/+1
2024-01-15Replace `TrimmedDefPaths` with a bool.Nicholas Nethercote-13/+11
2024-01-15Refactor `try_print_trimmed_def_path`.Nicholas Nethercote-18/+11
2024-01-15Add some helpful comments in `trimmed_def_paths`.Nicholas Nethercote-1/+5
2024-01-05Auto merge of #119634 - matthiaskrgr:rollup-v2xt7et, r=matthiaskrgrbors-21/+51
2024-01-05Rollup merge of #119354 - fmease:negative_bounds-fixes, r=compiler-errorsMatthias Krüger-21/+51
2024-01-04Make iteration order of trimmed_def_paths query stableMichael Woerister-3/+3
2024-01-01Pretty-print always-const trait predicates correctlyLeón Orell Valerian Liehr-12/+21