about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/infer
AgeCommit message (Expand)AuthorLines
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
2020-08-30mv compiler to compiler/mark-0/+620