about summary refs log tree commit diff
path: root/compiler/rustc_middle
AgeCommit message (Expand)AuthorLines
2023-05-04Rollup merge of #111097 - oli-obk:🚲_layout, r=compiler-errorsDylan DPC-0/+14
2023-05-04Rollup merge of #110943 - RalfJung:interpret-unsized-arg-ice, r=oli-obkDylan DPC-0/+4
2023-05-04Rollup merge of #110908 - petrochenkov:notagain4, r=compiler-errorsDylan DPC-17/+7
2023-05-04Rollup merge of #110791 - compiler-errors:negative-bounds, r=oli-obkDylan DPC-0/+3
2023-05-03rustc_middle: Fix `opt_item_ident` for non-local def idsVadim Petrochenkov-4/+3
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-21/+18
2023-05-02Implement negative boundsMichael Goulet-0/+3
2023-05-02Auto merge of #111028 - compiler-errors:attr-query-no-caching, r=cjgillotbors-10/+0
2023-05-02correctly recurse when expanding anon constsBoxy-1/+2
2023-05-02Avoid ICEing miri on layout query cyclesOli Scherer-0/+14
2023-05-02resolve: One more attempt to simplify `module_children`Vadim Petrochenkov-17/+7
2023-05-01Box AssertKindBen Kimock-4/+4
2023-05-01Auto merge of #111026 - compiler-errors:only-typeck-root, r=cjgillotbors-1/+1
2023-05-01Make some simple queries no longer cache on diskMichael Goulet-10/+0
2023-05-01Rollup merge of #110823 - compiler-errors:tweak-await-span, r=b-naberMatthias Krüger-0/+5
2023-04-30Only cache typeck results if it's the typeck rootMichael Goulet-1/+1
2023-04-30Bail out of MIR construction if `check_match` failsclubby789-1/+1
2023-04-30Use dynamic dispatch for queriesJohn KÃ¥re Alsaker-29/+39
2023-04-29Auto merge of #109611 - Zoxc:query-engine-rem, r=cjgillotbors-79/+1194
2023-04-29Expand comment on NonMutatingUseContext.Camille GILLOT-0/+3
2023-04-29Make PlaceMention a non-mutating use.Camille GILLOT-3/+3
2023-04-28Rollup merge of #110927 - nnethercote:Encoder-Decoder-cleanups, r=scottmcmMatthias Krüger-11/+11
2023-04-28interpret: fail more gracefully on uninit unsized localsRalf Jung-0/+4
2023-04-28Remove some unnecessary derives.Nicholas Nethercote-11/+11
2023-04-27Rollup merge of #110838 - nnethercote:more-Folder-Visitable-cleanups, r=lcnrMatthias Krüger-52/+9
2023-04-27Don't call await a methodMichael Goulet-0/+5
2023-04-27Explicitly reject negative and reservation drop implsMichael Goulet-5/+5
2023-04-27rename `needs_subst` to `has_param`Boxy-5/+5
2023-04-27rename `needs_infer` to `has_infer`Boxy-6/+6
2023-04-26Rollup merge of #110835 - nnethercote:strict-region-folders-2, r=compiler-errorsMatthias Krüger-1/+7
2023-04-26Don't return a `Binder` from `TraitRef::identity`Maybe Waffle-6/+2
2023-04-26Add new `ToPredicate` impls and `TraitRef` methods to remove some `ty::Binber...Maybe Waffle-0/+30
2023-04-26Switch `ty::TraitRef::from_lang_item` from using `TyCtxtAt` to `TyCtxt` and a...Maybe Waffle-4/+4
2023-04-26Inline tweaksJohn KÃ¥re Alsaker-4/+24
2023-04-26Add query accessor functionsJohn KÃ¥re Alsaker-32/+55
2023-04-26Remove QueryEngine traitJohn KÃ¥re Alsaker-101/+109
2023-04-26Move on_disk_cache.rsJohn KÃ¥re Alsaker-0/+1064
2023-04-26Derive `Type{Foldable,Visitable}` for `UserTypeProjection`.Nicholas Nethercote-24/+3
2023-04-26Remove unused `TypeFoldable`/`TypeVisitable` impls.Nicholas Nethercote-28/+6
2023-04-26Auto merge of #110634 - saethlin:pointy-decoder, r=cjgillotbors-0/+10
2023-04-26Make some region folders a little stricter.Nicholas Nethercote-1/+7
2023-04-25Auto merge of #110811 - compiler-errors:vars-are-question-mark, r=WaffleLapkinbors-2/+2
2023-04-25Fix lifetime suggestion for type aliases with objects in themMichael Goulet-3/+5
2023-04-25vars are ?Michael Goulet-2/+2
2023-04-25Rollup merge of #110671 - compiler-errors:polarity, r=lcnrMatthias Krüger-0/+5
2023-04-25Rollup merge of #110615 - WaffleLapkin:impl_tag, r=cjgillotMatthias Krüger-23/+7
2023-04-25Rollup merge of #110556 - kylematsuda:earlybinder-explicit-item-bounds, r=com...Matthias Krüger-10/+15
2023-04-25Rename `TraitRef::{_use_mk_trait_ref_instead => _use_trait_ref_new_instead}`Maybe Waffle-3/+3
2023-04-25Remove `tcx.mk_trait_ref`Maybe Waffle-18/+0
2023-04-25Replace `tcx.mk_trait_ref` with `ty::TraitRef::new`Maybe Waffle-11/+19