about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
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
2023-04-21Auto merge of #96840 - cjgillot:query-feed, r=oli-obkbors-276/+78
2023-04-20Derive `HashStable` on `GenericArgKind` instead of implementing it by handMaybe Waffle-29/+1
2023-04-20Use `impl Tag for $T` syntax for `impl_tag!`Maybe Waffle-1/+1
2023-04-20add subst_identity_iter and subst_identity_iter_copied methods on EarlyBinder...Kyle Matsuda-1/+13
2023-04-20add EarlyBinder to output of explicit_item_bounds; replace bound_explicit_ite...Kyle Matsuda-9/+2
2023-04-20change usages of explicit_item_bounds to bound_explicit_item_boundsKyle Matsuda-1/+1
2023-04-20Remove WithOptconstParam.Camille GILLOT-264/+50
2023-04-20Add `impl_tag!` macro to implement `Tag` for tagged pointer easilyMaybe Waffle-23/+6
2023-04-20Feed type_of query instead of using WithOptconstParam.Camille GILLOT-16/+32
2023-04-20Rollup merge of #110599 - WaffleLapkin:bonk_tygenericarg_transmutes, r=compil...Matthias Krüger-13/+0
2023-04-20Remove an unused `&[Ty]` <-> `&[GenericArg]`Maybe Waffle-13/+0
2023-04-20Rollup merge of #110545 - WaffleLapkin:generic_arg_as_x, r=cjgillotMatthias Krüger-35/+35
2023-04-19Auto merge of #110546 - matthiaskrgr:rollup-346kik6, r=matthiaskrgrbors-4/+4
2023-04-19Move `GenericArgKind::as_{type,const,region}` to `GenericArg`Maybe Waffle-48/+32
2023-04-19Auto merge of #110496 - WaffleLapkin:🏳️‍⚧️sound, r=compiler-errorsbors-52/+15
2023-04-19Rollup merge of #110531 - lcnr:type-system-stuff, r=aliemjayMatthias Krüger-4/+4
2023-04-19Add `GenericArgKind::as_{type,const,region}`Maybe Waffle-23/+39