about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/normalize_erasing_regions.rs
AgeCommit message (Expand)AuthorLines
2025-09-09erase_regions to erase_and_anonymize_regionsBoxy-2/+2
2025-03-15Squash fold into tyMichael Goulet-2/+4
2025-01-09Account for identity substituted items in symbol manglingMichael Goulet-4/+8
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-26/+23
2024-07-29Reformat `use` declarations.Nicholas Nethercote-2/+3
2024-06-21Rename a bunch of thingsMichael Goulet-2/+2
2024-05-26Give EarlyBinder a tcx parameterMichael Goulet-2/+2
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_middle`.Nicholas Nethercote-0/+1
2024-05-10Remove `TyCtxt::try_normalize_erasing_late_bound_regions`.Nicholas Nethercote-22/+1
2024-04-29Remove `extern crate rustc_macros` from `rustc_middle`.Nicholas Nethercote-0/+1
2024-04-04Rename HAS_PROJECTIONS to HAS_ALIASES etc.León Orell Valerian Liehr-2/+2
2024-02-12Dejargnonize substShoyu Vanilla-6/+6
2023-11-17rename bound region instantiationlcnr-2/+6
2023-09-26subst -> instantiatelcnr-18/+6
2023-07-30inline format!() args up to and including rustc_middleMatthias Krüger-2/+2
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-9/+9
2023-05-12Require `impl Trait` in associated types to appear in method signaturesOli Scherer-1/+1
2023-05-06make (try_)subst_and_normalize_erasing_regions take EarlyBinderKyle Matsuda-4/+4
2023-04-04Move a const-prop-lint specific hack from mir interpret to const-prop-lint an...Oli Scherer-3/+3
2023-03-03Remove NormalizationError::ConstantKindMichael Goulet-3/+0
2023-02-22Remove type-traversal trait aliasesAlan Egerton-11/+8
2023-02-13Rename folder traits' `tcx` method to `interner`Alan Egerton-2/+2
2023-02-13Make folding traits generic over the InternerAlan Egerton-2/+2
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-1/+4
2022-10-17mir constants: type traversing bye byelcnr-21/+0
2022-09-19remove the `Subst` trait, always use `EarlyBinder`lcnr-2/+1
2022-09-12Call destructors when dyn* object goes out of scopeEric Holk-0/+2
2022-09-01tracing::instrument cleanupOli Scherer-2/+0
2022-06-30Recover when failing to normalize closure signature.Camille GILLOT-0/+20
2022-06-21Reverse folder hierarchyAlan Egerton-3/+1
2022-05-10Introduce EarlyBinderJack Huey-3/+3
2022-02-15Overhaul `Const`.Nicholas Nethercote-6/+3
2022-01-31Rollup merge of #90277 - pierwill:fix-70258-inference-terms, r=jackh726Matthias Krüger-2/+2
2021-12-19Rollup merge of #91984 - Aaron1011:rustc-middle-lifetime, r=oli-obkMatthias Krüger-3/+3
2021-12-15Remove `in_band_lifetimes` from `rustc_middle`Aaron Hill-3/+3
2021-12-13get rid of normalize_generic_arg... queriesb-naber-2/+7
2021-12-05allow for failure of subst_normalize_erasing_regions in const_evalb-naber-0/+26
2021-12-02Reduce boilerplate around infallible foldersAlan Egerton-20/+14
2021-12-01rebaseb-naber-31/+19
2021-12-01implement version of normalize_erasing_regions that doesn't assume value is n...b-naber-0/+127
2021-11-26Unwrap the results of type foldersLeSeulArtichaut-1/+3
2021-11-26Adapt `TypeFolder` implementors to return a `Result`LeSeulArtichaut-6/+12
2021-11-06Improve terminology around "after typeck"pierwill-2/+2
2021-07-04Update compiler/rustc_middle/src/ty/normalize_erasing_regions.rsNiko Matsakis-1/+1
2021-07-03introduce helper functionNiko Matsakis-4/+13
2021-04-02Auto merge of #83207 - oli-obk:valtree2, r=lcnrbors-0/+7
2021-04-01Inline some functions that suddenly show up more in tracesOli Scherer-0/+1
2021-03-31Add tcx lifetime to BinderJack Huey-2/+2
2021-03-31Add a new normalization query just for mir constantsOli Scherer-0/+6
2020-11-16compiler: fold by valueBastian Kauschke-3/+3
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-12 16:39:17 +0000