about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/infer/canonical.rs
AgeCommit message (Expand)AuthorLines
2025-09-08inline `CanonicalTyVarKind`lcnr-1/+0
2025-07-15Add alias for ArgOutlivesPredicateMichael Goulet-3/+2
2025-07-15Consider outlives assumptions when proving auto traits for coroutine interiorsMichael Goulet-3/+8
2025-05-23yeet `CanonicalVarInfo`lcnr-3/+3
2025-04-15Split TypeFolder and FallibleTypeFolderMichael Goulet-9/+0
2025-02-06Clean up trivial traversal/lift impl generator macro calls.Nicholas Nethercote-4/+0
2024-12-20remove non-borrowck member constraintslcnr-3/+1
2024-10-17move `defining_opaque_types` out of `Canonical`lcnr-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-3/+3
2024-05-21Uplift OutlivesPredicate, remove a bunch of unnecessary associated types from...Michael Goulet-2/+2
2024-05-18Uplift GenericArgKind, CanonicalVarValues, QueryInputMichael Goulet-149/+6
2024-04-29Remove `extern crate rustc_macros` from `rustc_middle`.Nicholas Nethercote-1/+1
2024-04-08Ensure the canonical_param_env_cache does not contain inconsistent informatio...Oli Scherer-5/+10
2024-04-08Eliminate `DefiningAnchor` now that is just a single-variant enumOli Scherer-4/+4
2024-04-08Pass list of defineable opaque types into canonical queriesOli Scherer-6/+5
2024-04-03rustc_index: Add a `ZERO` constant to index typesVadim Petrochenkov-1/+1
2024-02-12Dejargnonize substShoyu Vanilla-1/+1
2023-12-15NFC: do not clone types that are copyMatthias Krüger-2/+2
2023-12-14make infcx optional in canonicalizerAli MJ Al-Nasrawy-2/+10
2023-12-13fix small perf regressionsAli MJ Al-Nasrawy-1/+11
2023-12-13don't store OriginalQueryValues::universe_mapAli MJ Al-Nasrawy-4/+11
2023-12-13global param_env canonicalization cacheAli MJ Al-Nasrawy-0/+37
2023-11-21Uplift CanonicalVarInfo and friendsMichael Goulet-153/+4
2023-11-13rename `ReLateBound` to `ReBound`lcnr-3/+3
2023-11-04No lifetime on PlaceholderConstMichael Goulet-1/+1
2023-10-25Uplift Canonical to rustc_type_irMichael Goulet-74/+6
2023-10-13Format all the let chains in compilerMichael Goulet-1/+1
2023-09-24Remove span from BrAnon.Camille GILLOT-1/+1
2023-09-18Remove more unused `Lift` impls.Nicholas Nethercote-1/+1
2023-09-18Remove unused `Lift` derives.Nicholas Nethercote-4/+4
2023-09-11Rollup merge of #115727 - fee1-dead-contrib:effect-fallback, r=oli-obkMatthias Krüger-16/+28
2023-09-11add `is_host_effect` to `GenericParamDefKind::Const` and address reviewDeadbeef-1/+0
2023-09-11Disentangle `Debug` and `Display` for `Ty`.Nicholas Nethercote-0/+11
2023-09-10Implement fallback for effect paramDeadbeef-16/+29
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-3/+3
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-1/+2
2023-07-04Replace `mk_const` with `Const::new_x` methodsBoxy-6/+7
2023-06-13opportunistically resolve regionsMichael Goulet-8/+33
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-1/+1
2023-05-10Use OpaqueTypeKey in query responseMichael Goulet-1/+1
2023-04-17Rollup merge of #110386 - nnethercote:clean-up-traversal-macros, r=lcnrMatthias Krüger-4/+2
2023-04-16Rollup merge of #109665 - fee1-dead-contrib:rm-remap-queries, r=oli-obkfee1-dead-8/+0
2023-04-16Simplify `CloneLiftImpls` and `TrivialTypeTraversalImpls`.Nicholas Nethercote-4/+2
2023-04-10prioritize param-env candidateslcnr-0/+12
2023-04-08Remove `remap_env_constness` in queriesDeadbeef-8/+0
2023-04-06Remove index from BrAnonJack Huey-1/+1
2023-04-06Remove expect_anon and expect_anon_placeholder in favor of varJack Huey-6/+4
2023-04-06Use BoundTy and BoundRegion instead of kind of PlaceholderTy and PlaceholderR...Jack Huey-3/+5
2023-04-05Tweak debug outputs to make debugging new solver easierMichael Goulet-1/+1
2023-03-03canonicalizationlcnr-1/+61
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 04:02:27 +0000