about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
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
2023-02-15Pre-intern some `ReVar`s and `ReLateBound`s.Nicholas Nethercote-4/+59
2023-02-15Add specialized variants of `mk_region`.Nicholas Nethercote-34/+76
2023-02-15Remove `reuse_or_mk_region`.Nicholas Nethercote-8/+1
2023-02-14Auto merge of #108056 - matthiaskrgr:rollup-oa6bxvh, r=matthiaskrgrbors-26/+15
2023-02-14Add `of_trait` to DefKind::Impl.Camille GILLOT-2/+2
2023-02-14Rollup merge of #108029 - oli-obk:🞋_usize, r=RalfJungMatthias Krüger-9/+13
2023-02-14add a `#[rustc_coinductive]` attributelcnr-26/+15
2023-02-14s/eval_usize/eval_target_usize/ for clarityOli Scherer-9/+13
2023-02-14Auto merge of #107765 - petrochenkov:nomoclone, r=oli-obkbors-0/+1
2023-02-13Rollup merge of #107902 - vincenzopalazzo:macros/async_fn_suggestion, r=compi...Matthias Krüger-1/+1
2023-02-13fix: improve the suggestion on future not awaitedVincenzo Palazzo-1/+1
2023-02-13Rename folder traits' `tcx` method to `interner`Alan Egerton-29/+33
2023-02-13Move folding and visiting traits into type libraryAlan Egerton-583/+23
2023-02-13Make atomic structural impls generic over InternerAlan Egerton-45/+45
2023-02-13Make folding traits generic over the InternerAlan Egerton-90/+120
2023-02-13Make visiting traits generic over the InternerAlan Egerton-60/+74
2023-02-13Project Binder and Predicate from Interner traitAlan Egerton-0/+2
2023-02-13Move TypeVisitableExt from ir moduleAlan Egerton-130/+127
2023-02-13Workaround issue #107747Alan Egerton-1/+10
2023-02-13Split TypeVisitableExt from TypeVisitableAlan Egerton-11/+5
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-82/+91
2023-02-13Move folding & visiting traits to ir submodulesAlan Egerton-292/+322
2023-02-13Avoid interning empty tuples.Nicholas Nethercote-2/+2
2023-02-13Reduce direct `mk_ty` usage.Nicholas Nethercote-11/+29
2023-02-13Pre-intern some commonly used type variables.Nicholas Nethercote-11/+69
2023-02-13rustdoc: Eliminate remaining uses of resolverVadim Petrochenkov-0/+1
2023-02-12Enable CopyProp by default, tune the impl a bitBen Kimock-0/+1
2023-02-12Auto merge of #105671 - lukas-code:depreciate-char, r=scottmcmbors-1/+0
2023-02-11make `relate`'s const ty assertion use semantic equalityBoxy-20/+0
2023-02-11Auto merge of #94857 - petrochenkov:doclink2, r=oli-obkbors-2/+6
2023-02-11Auto merge of #107507 - BoxyUwU:deferred_projection_equality, r=lcnrbors-4/+55
2023-02-10implement `compute_alias_eq_goal`Boxy-0/+27
2023-02-10emit `AliasEq` when relating type and const aliasesBoxy-0/+4
2023-02-10add `AliasEq` to `PredicateKind`Boxy-4/+24
2023-02-10Auto merge of #107652 - estebank:re_error, r=oli-obkbors-5/+40