about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2023-02-18Assume we can normalize trait default method RPITITs in param-env insteadMichael Goulet-1/+21
2023-02-18Pretty placeholders using their namesMichael Goulet-1/+4
2023-02-18make first component of dyn* use pointer layout+type, and adjust DynStar commentRalf Jung-1/+1
2023-02-18Rollup merge of #108186 - compiler-errors:closures-with-late-bound-types-r-ba...Matthias Krüger-0/+3
2023-02-18Rollup merge of #108162 - clubby789:issue-108155, r=NilstriebMatthias Krüger-0/+6
2023-02-18Move late-bound arg type checks to resolve_bound_varsMichael Goulet-0/+3
2023-02-18Auto merge of #108112 - nnethercote:clarify-iterator-interners, r=oli-obk,com...bors-54/+73
2023-02-17Make encode_attrs use opt_local_def_id_to_hir_id so we can feed it with None ...Santiago Pastorino-0/+4
2023-02-17Auto merge of #108075 - WaffleLapkin:de-arena-allocates-you-OwO, r=Nilstriebbors-7/+7
2023-02-17Don't eagerly convert principal to stringclubby789-0/+6
2023-02-17Replace more `mk_foo` calls with `infer_foo`.Nicholas Nethercote-4/+4
2023-02-17Use `IntoIterator` for `mk_fn_sig`.Nicholas Nethercote-5/+10
2023-02-17Clarify iterator interners.Nicholas Nethercote-41/+54
2023-02-17Remove the `InternIteratorElement` impl for `&'a T`.Nicholas Nethercote-1/+1
2023-02-17Clarify `mk_fn_sig` signature.Nicholas Nethercote-3/+4
2023-02-17Replace `mk_foo` calls with `infer_foo` where possible.Nicholas Nethercote-4/+4
2023-02-17Add `Clause::ConstArgHasType` variantBoxy-4/+20
2023-02-17Auto merge of #107753 - kylematsuda:type-of, r=BoxyUwUbors-33/+34
2023-02-17Auto merge of #108145 - matthiaskrgr:rollup-bgadak1, r=matthiaskrgrbors-16/+29
2023-02-16changes from reviewKyle Matsuda-2/+7
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-37/+24
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-16/+25
2023-02-17Rollup merge of #107489 - compiler-errors:non_lifetime_binders, r=cjgillotMatthias Krüger-16/+29
2023-02-16Auto merge of #107833 - Zoxc:arena-query-clean, r=cjgillotbors-22/+82
2023-02-16Properly check for builtin derivesclubby789-3/+18
2023-02-16Auto merge of #108127 - matthiaskrgr:rollup-kpzfc6j, r=matthiaskrgrbors-26/+20
2023-02-16Auto merge of #108020 - nnethercote:opt-mk_region, r=compiler-errorsbors-42/+132
2023-02-16Replace some `then`s with some `then_some`sMaybe Waffle-1/+1
2023-02-16`if $c:expr { Some($r:expr) } else { None }` =>> `$c.then(|| $r)`Maybe Waffle-26/+20
2023-02-16Add some comments and use inline(always) on query_provided_to_valueJohn Kåre Alsaker-1/+10
2023-02-16Move provider fields back to rustc_query_implJohn Kåre Alsaker-18/+2
2023-02-16Use dropless arena when possibleJohn Kåre Alsaker-1/+8
2023-02-16Factor query arena allocation out from query cachesJohn Kåre Alsaker-22/+82
2023-02-16Auto merge of #108116 - Dylan-DPC:rollup-h3n2vxl, r=Dylan-DPCbors-1/+1
2023-02-16Rollup merge of #108102 - matthiaskrgr:ref, r=compiler-errorsDylan DPC-1/+1
2023-02-16Auto merge of #107449 - saethlin:enable-copyprop, r=oli-obkbors-0/+1
2023-02-16A bit more work on late-bound constsMichael Goulet-9/+22
2023-02-16Be better about bound varsMichael Goulet-2/+2
2023-02-16Rename some region-specific stuffMichael Goulet-5/+5
2023-02-16Auto merge of #108096 - matthiaskrgr:rollup-ncexzf6, r=matthiaskrgrbors-8/+8
2023-02-15simplify some refsMatthias Krüger-1/+1
2023-02-15Auto merge of #108012 - compiler-errors:issue-107999, r=oli-obkbors-1/+0
2023-02-15Rollup merge of #108047 - oli-obk:machine->🞋, r=RalfJungMatthias Krüger-8/+8
2023-02-15Copy `ty::AssocItem` all other the placeMaybe Waffle-7/+7
2023-02-15Auto merge of #108006 - cjgillot:def-impl, r=oli-obkbors-2/+2
2023-02-15Use target instead of machine for mir interpreter integer handling.Oli Scherer-8/+8
2023-02-15Auto merge of #108070 - Dylan-DPC:rollup-v6xw7vk, r=Dylan-DPCbors-2/+2
2023-02-15Rollup merge of #107163 - mikebenfield:parameters-pr, r=TaKO8KiDylan DPC-2/+2
2023-02-15Auto merge of #107940 - BoxyUwU:const_ty_assertion_use_semantic_equality, r=c...bors-20/+0
2023-02-14Make permit_uninit/zero_init fallibleMichael Goulet-1/+0