about summary refs log tree commit diff
path: root/compiler/rustc_middle/src
AgeCommit message (Expand)AuthorLines
2023-02-13Make folding traits generic over the InternerAlan Egerton-99/+129
2023-02-13Make visiting traits generic over the InternerAlan Egerton-66/+80
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-105/+120
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-15/+33
2023-02-13Pre-intern some commonly used type variables.Nicholas Nethercote-11/+69
2023-02-13rustdoc: Eliminate remaining uses of resolverVadim Petrochenkov-0/+6
2023-02-12rename query and use `NoSolution`Boxy-1/+1
2023-02-12Enable CopyProp by default, tune the impl a bitBen Kimock-0/+1
2023-02-12Auto merge of #107643 - Zoxc:single-cache, r=cjgillotbors-2/+2
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/+7
2023-02-11Create a single value cache for the () query keyJohn Kåre Alsaker-2/+2
2023-02-11Auto merge of #94857 - petrochenkov:doclink2, r=oli-obkbors-2/+19
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/+19
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/+3
2023-02-09Simplify `tls::enter_context`.Nicholas Nethercote-3/+3
2023-02-08Change `arena_cache` to not alter the declared query resultJohn Kåre Alsaker-70/+78
2023-02-07Auto merge of #107768 - matthiaskrgr:rollup-9u4cal4, r=matthiaskrgrbors-6/+8
2023-02-07Rollup merge of #107756 - RalfJung:miri-out-of-addresses, r=oli-obkMatthias Krüger-1/+6
2023-02-07Rollup merge of #107755 - lcnr:no-binder, r=oli-obkMatthias Krüger-4/+2
2023-02-07Rollup merge of #107719 - WaffleLapkin:de-arena-allocates-you-UwU, r=cjgillotMatthias Krüger-1/+0
2023-02-07Rollup merge of #107555 - edward-shen:edward-shen/dup-trait-suggestion, r=com...Matthias Krüger-1/+14
2023-02-07miri: fix ICE when running out of address spaceRalf Jung-1/+6
2023-02-07remove binder from query constraintslcnr-4/+2
2023-02-07Auto merge of #106180 - RalfJung:dereferenceable-generators, r=nbdd0121bors-106/+95
2023-02-06Complete for_each_aliasing_place.Camille GILLOT-0/+8
2023-02-06Rollup merge of #106477 - Nathan-Fenner:nathanf/refined-error-span-trait-impl...Matthias Krüger-0/+2
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-06Remove `arena_cache` modifier from `upstream_monomorphizations_for`Maybe Waffle-1/+0
2023-02-05emit `ConstEquate` in `TypeRelating<D>`Boxy-15/+15
2023-02-04Remove `OnHit` callback from query caches.Camille GILLOT-40/+20
2023-02-04Auto merge of #107267 - cjgillot:keep-aggregate, r=oli-obkbors-12/+19