summaryrefslogtreecommitdiff
path: root/compiler/rustc_middle/src/ty
Commit message (Expand)AuthorAgeFilesLines
* Auto merge of #109611 - Zoxc:query-engine-rem, r=cjgillotbors2023-04-294-78/+143
|\
| * Add query accessor functionsJohn Kåre Alsaker2023-04-261-32/+55
| * Remove QueryEngine traitJohn Kåre Alsaker2023-04-264-53/+95
* | Rollup merge of #110927 - nnethercote:Encoder-Decoder-cleanups, r=scottmcmMatthias Krüger2023-04-281-1/+1
|\ \
| * | Remove some unnecessary derives.Nicholas Nethercote2023-04-281-1/+1
* | | Rollup merge of #110838 - nnethercote:more-Folder-Visitable-cleanups, r=lcnrMatthias Krüger2023-04-274-23/+3
|\ \ \ | |/ / |/| |
| * | Remove unused `TypeFoldable`/`TypeVisitable` impls.Nicholas Nethercote2023-04-264-23/+3
* | | rename `needs_subst` to `has_param`Boxy2023-04-272-5/+5
* | | rename `needs_infer` to `has_infer`Boxy2023-04-274-6/+6
* | | Rollup merge of #110835 - nnethercote:strict-region-folders-2, r=compiler-errorsMatthias Krüger2023-04-261-1/+7
|\ \ \ | |_|/ |/| |
| * | Make some region folders a little stricter.Nicholas Nethercote2023-04-261-1/+7
| |/
* | Auto merge of #110634 - saethlin:pointy-decoder, r=cjgillotbors2023-04-261-0/+10
|\ \
| * | Rewrite MemDecoder around pointers not a sliceBen Kimock2023-04-231-0/+10
* | | Auto merge of #110811 - compiler-errors:vars-are-question-mark, r=WaffleLapkinbors2023-04-252-2/+2
|\ \ \ | |_|/ |/| |
| * | vars are ?Michael Goulet2023-04-252-2/+2
* | | Rollup merge of #110671 - compiler-errors:polarity, r=lcnrMatthias Krüger2023-04-251-0/+5
|\ \ \
| * | | Consider polarity in new solverMichael Goulet2023-04-241-0/+5
* | | | Rollup merge of #110615 - WaffleLapkin:impl_tag, r=cjgillotMatthias Krüger2023-04-251-23/+6
|\ \ \ \
| * | | | Switch `impl_tag!` from explicit tags to `${index()}`Maybe Waffle2023-04-241-4/+4
| * | | | Use `impl Tag for $T` syntax for `impl_tag!`Maybe Waffle2023-04-201-1/+1
| * | | | Add `impl_tag!` macro to implement `Tag` for tagged pointer easilyMaybe Waffle2023-04-201-23/+6
| | |_|/ | |/| |
* | | | Rollup merge of #110556 - kylematsuda:earlybinder-explicit-item-bounds, r=com...Matthias Krüger2023-04-254-9/+14
|\ \ \ \ | |_|_|/ |/| | |
| * | | Changes from reviewKyle Matsuda2023-04-211-1/+1
| * | | add subst_identity_iter and subst_identity_iter_copied methods on EarlyBinder...Kyle Matsuda2023-04-202-1/+13
| * | | add EarlyBinder to output of explicit_item_bounds; replace bound_explicit_ite...Kyle Matsuda2023-04-203-9/+2
| * | | change usages of explicit_item_bounds to bound_explicit_item_boundsKyle Matsuda2023-04-201-1/+1
* | | | Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle2023-04-2410-10/+10
| |_|/ |/| |
* | | Rollup merge of #110514 - compiler-errors:remove-find_map_relevant_impl, r=b-...Matthias Krüger2023-04-242-59/+40
|\ \ \
| * | | Remove find_map_relevant_implMichael Goulet2023-04-192-59/+40
* | | | Auto merge of #108118 - oli-obk:lazy_typeck, r=cjgillotbors2023-04-234-6/+20
|\ \ \ \
| * | | | Allow `LocalDefId` as the argument to `def_path_str`Oli Scherer2023-04-214-6/+20
* | | | | Auto merge of #110666 - JohnTitor:rollup-3pwilte, r=JohnTitorbors2023-04-223-30/+16
|\ \ \ \ \
| * \ \ \ \ Rollup merge of #110660 - compiler-errors:placeholders-pretty, r=wesleywiser,...Yuki Okushi2023-04-221-1/+15
| |\ \ \ \ \
| | * | | | | Print ty placeholders prettyMichael Goulet2023-04-221-1/+15
| | |/ / / /
| * | | | | Rollup merge of #110622 - WaffleLapkin:hashtag#, r=compiler-errorsYuki Okushi2023-04-222-29/+1
| |\ \ \ \ \ | | |/ / / / | |/| | | |
| | * | | | Derive `HashStable` on `GenericArgKind` instead of implementing it by handMaybe Waffle2023-04-202-29/+1
| | | |/ / | | |/| |
* | | | | Auto merge of #106934 - DrMeepster:offset_of, r=WaffleLapkinbors2023-04-223-0/+34
|\ \ \ \ \ | |/ / / / |/| | | |
| * | | | intern offsetof fieldsDrMeepster2023-04-212-0/+22
| * | | | offset_ofDrMeepster2023-04-211-0/+12
* | | | | Auto merge of #96840 - cjgillot:query-feed, r=oli-obkbors2023-04-218-276/+78
|\ \ \ \ \ | |/ / / / |/| | | |
| * | | | Remove WithOptconstParam.Camille GILLOT2023-04-207-264/+50
| * | | | Feed type_of query instead of using WithOptconstParam.Camille GILLOT2023-04-203-16/+32
| |/ / /
* | | | Rollup merge of #110599 - WaffleLapkin:bonk_tygenericarg_transmutes, r=compil...Matthias Krüger2023-04-201-13/+0
|\ \ \ \ | |/ / / |/| | |
| * | | Remove an unused `&[Ty]` <-> `&[GenericArg]`Maybe Waffle2023-04-201-13/+0
| | |/ | |/|
* | | Rollup merge of #110545 - WaffleLapkin:generic_arg_as_x, r=cjgillotMatthias Krüger2023-04-201-35/+35
|\ \ \ | |/ / |/| |
| * | Move `GenericArgKind::as_{type,const,region}` to `GenericArg`Maybe Waffle2023-04-191-48/+32
| * | Add `GenericArgKind::as_{type,const,region}`Maybe Waffle2023-04-191-23/+39
* | | Auto merge of #110546 - matthiaskrgr:rollup-346kik6, r=matthiaskrgrbors2023-04-191-4/+4
|\ \ \
| * \ \ Rollup merge of #110531 - lcnr:type-system-stuff, r=aliemjayMatthias Krüger2023-04-191-4/+4
| |\ \ \ | | |/ / | |/| |
| | * | small type system cleanuplcnr2023-04-191-4/+4
| | |/