summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/print
AgeCommit message (Expand)AuthorLines
2024-06-06Revert "Rollup merge of #124976 - petrochenkov:usedcrates, r=oli-obk"Rémy Rakic-1/+1
2024-06-05Misc fixes (pattern type lowering, cfi, pretty printing)Boxy-18/+1
2024-06-05Add `Ty` to `ConstKind::Value`Boxy-3/+3
2024-06-05Basic removal of `Ty` from places (boring)Boxy-2/+2
2024-06-04Rollup merge of #125968 - BoxyUwU:shrink_ty_expr, r=oli-obkMichael Goulet-58/+44
2024-06-04Downsize `ty::Expr`Boxy-58/+44
2024-06-03Align Term methods with GenericArg methodsMichael Goulet-3/+3
2024-06-03Auto merge of #125778 - estebank:issue-67100, r=compiler-errorsbors-1/+1
2024-06-01Uplift TypeRelation and RelateMichael Goulet-2/+5
2024-05-29Use parenthetical notation for `Fn` traitsEsteban Küber-1/+1
2024-05-28Add an intrinsic for `ptr::metadata`Scott McMurray-0/+2
2024-05-27Auto merge of #125410 - fmease:adj-lint-diag-api, r=nnethercotebors-1/+1
2024-05-23Auto merge of #125434 - nnethercote:rm-more-extern-tracing, r=jackh726bors-0/+1
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_middle`.Nicholas Nethercote-0/+1
2024-05-23Remove `DelayDm`León Orell Valerian Liehr-1/+1
2024-05-22rustc: Use `tcx.used_crates(())` moreVadim Petrochenkov-1/+1
2024-05-21Uplift OutlivesPredicate, remove a bunch of unnecessary associated types from...Michael Goulet-6/+2
2024-05-21Uplift binderMichael Goulet-14/+5
2024-05-19Add and use generics.is_empty() and generics.is_own_empty, rather than using ...Santiago Pastorino-1/+1
2024-05-17Rename Unsafe to SafetySantiago Pastorino-1/+1
2024-05-16Uplift FnSigMichael Goulet-10/+10
2024-05-13Uplift AliasTyMichael Goulet-27/+27
2024-05-13Apply nitsMichael Goulet-1/+2
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