about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/infer
AgeCommit message (Expand)AuthorLines
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
2021-05-14Make the UnifyValue for RegionVid ()Jack Huey-1/+1
2021-03-31Add var to BoundRegion. Add query to get bound vars for applicable items.Jack Huey-1/+2
2021-03-31Add tcx lifetime to BinderJack Huey-1/+1
2021-03-27Remove (lots of) dead codeJoshua Nelson-15/+0
2021-03-26Use iter::zip in compiler/Josh Stone-4/+2
2021-01-18Move a few more types to `rustc_type_ir`LeSeulArtichaut-50/+3
2020-12-18Make BoundRegion have a kind of BoungRegionKindJack Huey-3/+4
2020-11-16wordslcnr-2/+2
2020-11-12Add type to `ConstKind::Placeholder`varkor-10/+12
2020-10-23reviewBastian Kauschke-12/+9
2020-10-22improve const infer errorBastian Kauschke-11/+5
2020-09-23use relevant span when unifying `ConstVarValue`sBastian Kauschke-7/+7
2020-09-23merge `need_type_info_err(_const)`Bastian Kauschke-2/+2
2020-09-14improve const infer errBastian Kauschke-0/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 04:09:04 +0000