about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/infer
AgeCommit message (Expand)AuthorLines
2023-03-08Auto merge of #108121 - aliemjay:resolve-var-region, r=lcnrbors-4/+33
2023-03-08prefer universal from lower universeAli MJ Al-Nasrawy-1/+17
2023-03-08address review commentAli MJ Al-Nasrawy-3/+16
2023-03-03canonicalizationlcnr-2/+63
2023-02-24Rename many interner functions.Nicholas Nethercote-2/+2
2023-02-22Remove type-traversal trait aliasesAlan Egerton-2/+2
2023-02-15Add specialized variants of `mk_region`.Nicholas Nethercote-1/+1
2023-02-13Make folding traits generic over the InternerAlan Egerton-1/+1
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-1/+1
2023-02-13Reduce direct `mk_ty` usage.Nicholas Nethercote-3/+3
2023-02-07remove binder from query constraintslcnr-4/+2
2023-01-26Make make_identity take CanonicalVarInfosMichael Goulet-27/+25
2023-01-26Intern CanonicalVarValuesMichael Goulet-31/+31
2023-01-18remove assembly context and impl a bit morelcnr-0/+6
2023-01-17new trait solver: only consider goal changed if response is not identityMichael Goulet-0/+16
2023-01-03Simplify some canonical type alias namesMichael Goulet-3/+1
2022-12-19implement the skeleton of the updated trait solverlcnr-0/+10
2022-11-07Add an optional Span to BrAnon and use it to print better error for HRTB erro...Jack Huey-2/+4
2022-11-04Refactor tcx mk_const parameters.Mateusz-4/+4
2022-10-27Revert "Make ClosureOutlivesRequirement not rely on an unresolved type"Michael Goulet-2/+4
2022-10-19Make ClosureOutlivesRequirement not rely on an unresolved typeMichael Goulet-4/+2
2022-09-22Const unification is already infallible, remove the error handling logicOli Scherer-1/+1
2022-09-16Make QueryOutlivesConstraint contain a ConstraintCategoryJack Huey-2/+5
2022-09-16Revert "Better errors for implied static bound"Jack Huey-5/+2
2022-09-15Merge all `TypeVisitable for &List<T>` impls into one generic oneOli Scherer-8/+12
2022-09-13Better errors for implied static boundJack Huey-2/+5
2022-08-01make `PlaceholderConst` not store the type of the constEllen-3/+3
2022-07-26Use real opaque type instead of just saying impl TraitMichael Goulet-4/+4
2022-07-19Use LocalDefId in OpaqueTypeKeyMichael Goulet-2/+2
2022-07-05impl TypeVisitable in type traversal macrosAlan Egerton-2/+2
2022-07-05Add #[derive(TypeVisitable)]Alan Egerton-5/+5
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-1/+1
2022-05-02fix most compiler/ doctestsElliot Roberts-1/+1
2022-04-01remove unused incorrect `EqUnifyValue` impllcnr-3/+1
2022-04-01remove `unify_key::replace_if_possible`lcnr-25/+2
2022-03-30Spellchecking compiler commentsYuri Astrakhan-1/+1
2022-03-28Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"Oli Scherer-0/+6
2022-02-15Inline UnifyKey::index and UnifyKey::from_indexTomasz Miąsko-0/+4
2022-02-15Overhaul `Const`.Nicholas Nethercote-10/+10
2022-02-11Renumber universes when canonicalizing for ChalkMatthew Jasper-3/+3
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-6/+0
2022-02-03Clean up opaque type obligations in query resultsOli Scherer-4/+7
2022-02-02Clean up leftovers from eager hidden type mergingOli Scherer-1/+1
2022-02-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-1/+4
2022-01-12Canonicalize const variables correctlyMichael Goulet-4/+4
2021-12-15Remove `in_band_lifetimes` from `rustc_middle`Aaron Hill-2/+2
2021-12-12Remap more env constness for queriesDeadbeef-0/+8
2021-06-02Miscellaneous inlining improvementsTomasz Miąsko-0/+1
2021-05-15Add commentJack Huey-0/+3
2021-05-14Store Option<Region> as value for RegionVidJack Huey-22/+30
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 07:26:35 +0000