about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
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-4/+4
2023-05-02Implement negative boundsMichael Goulet-0/+3
2023-05-02correctly recurse when expanding anon constsBoxy-1/+2
2023-05-02Avoid ICEing miri on layout query cyclesOli Scherer-0/+5
2023-05-02resolve: One more attempt to simplify `module_children`Vadim Petrochenkov-17/+7
2023-04-30Use dynamic dispatch for queriesJohn Kåre Alsaker-29/+38
2023-04-29Auto merge of #109611 - Zoxc:query-engine-rem, r=cjgillotbors-78/+143
2023-04-28Rollup merge of #110927 - nnethercote:Encoder-Decoder-cleanups, r=scottmcmMatthias Krüger-1/+1
2023-04-28Remove some unnecessary derives.Nicholas Nethercote-1/+1
2023-04-27Rollup merge of #110838 - nnethercote:more-Folder-Visitable-cleanups, r=lcnrMatthias Krüger-23/+3
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-26Add query accessor functionsJohn Kåre Alsaker-32/+55
2023-04-26Remove QueryEngine traitJohn Kåre Alsaker-53/+95
2023-04-26Remove unused `TypeFoldable`/`TypeVisitable` impls.Nicholas Nethercote-23/+3
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/+6
2023-04-25Rollup merge of #110556 - kylematsuda:earlybinder-explicit-item-bounds, r=com...Matthias Krüger-9/+14
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
2023-04-25Move `TraitRef` constructors to the topMaybe Waffle-14/+14
2023-04-25Add `ty::TraitRef::{new, from_lang_item}`Maybe Waffle-1/+20
2023-04-24Consider polarity in new solverMichael Goulet-0/+5
2023-04-24Switch `impl_tag!` from explicit tags to `${index()}`Maybe Waffle-4/+4
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-10/+10
2023-04-24Rollup merge of #110514 - compiler-errors:remove-find_map_relevant_impl, r=b-...Matthias Krüger-59/+40
2023-04-23Rewrite MemDecoder around pointers not a sliceBen Kimock-0/+10
2023-04-23Auto merge of #108118 - oli-obk:lazy_typeck, r=cjgillotbors-6/+20
2023-04-22Auto merge of #110666 - JohnTitor:rollup-3pwilte, r=JohnTitorbors-30/+16
2023-04-22Rollup merge of #110660 - compiler-errors:placeholders-pretty, r=wesleywiser,...Yuki Okushi-1/+15
2023-04-22Rollup merge of #110622 - WaffleLapkin:hashtag#, r=compiler-errorsYuki Okushi-29/+1
2023-04-22Print ty placeholders prettyMichael Goulet-1/+15
2023-04-22Auto merge of #106934 - DrMeepster:offset_of, r=WaffleLapkinbors-0/+34
2023-04-21Allow `LocalDefId` as the argument to `def_path_str`Oli Scherer-6/+20
2023-04-21Changes from reviewKyle Matsuda-1/+1
2023-04-21intern offsetof fieldsDrMeepster-0/+22
2023-04-21offset_ofDrMeepster-0/+12