about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
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
2023-02-10Resolve documentation links in rustc and store the results in metadataVadim Petrochenkov-2/+6
2023-02-09Use `ErrorGuaranteed` more in `ReError`Esteban Küber-8/+12
2023-02-09Change to `ReError(ErrorGuaranteed)`Esteban Küber-16/+30
2023-02-09Introduce `ReError`Esteban Küber-5/+22
2023-02-09Remove `QueryContext`.Nicholas Nethercote-0/+12
2023-02-09Simplify `with_tlv`.Nicholas Nethercote-3/+2
2023-02-09Simplify `tls::enter_context`.Nicholas Nethercote-2/+2
2023-02-08Change `arena_cache` to not alter the declared query resultJohn KÃ¥re Alsaker-16/+23
2023-02-07Rollup merge of #107555 - edward-shen:edward-shen/dup-trait-suggestion, r=com...Matthias Krüger-1/+14
2023-02-07Auto merge of #106180 - RalfJung:dereferenceable-generators, r=nbdd0121bors-106/+95
2023-02-06Modify existing bounds if they existEdward Shen-1/+14
2023-02-06also do not add noalias on not-Unpin BoxRalf Jung-91/+95
2023-02-06make PointerKind directly reflect pointer typesRalf Jung-27/+12
2023-02-06Auto merge of #107667 - cjgillot:no-on-hit, r=lcnr,Zoxcbors-40/+20
2023-02-05emit `ConstEquate` in `TypeRelating<D>`Boxy-15/+15