about summary refs log tree commit diff
path: root/compiler/rustc_middle
AgeCommit message (Expand)AuthorLines
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
2023-02-03Rollup merge of #107621 - compiler-errors:intern-external-constraints, r=lcnrMichael Goulet-0/+61
2023-02-03Make const/fn return params more suggestableMichael Goulet-5/+92
2023-02-03intern external constraintsMichael Goulet-0/+61
2023-02-03Rollup merge of #107585 - compiler-errors:fndef-sig-cycle, r=oli-obkDylan DPC-5/+18
2023-02-03Rollup merge of #106575 - estebank:issue-64008, r=pnkfelixMatthias Krüger-0/+22
2023-02-02Put a DefId in AggregateKind.Camille GILLOT-12/+19
2023-02-02Tweak misleading commentMichael Goulet-1/+1
2023-02-02Suggest `move` in nested closure when appropriateEsteban Küber-0/+22
2023-02-02Don't cause a cycle when formatting query description that references a FnDefMichael Goulet-5/+18
2023-02-01Improve pretty-printing of `HirIdValidator` errorsArpad Borsos-19/+15
2023-02-01Don't call with_reveal_all_normalized in evaluate when param-env has inferenc...Michael Goulet-6/+4
2023-01-31Rollup merge of #107486 - compiler-errors:bound-ty-keep-name, r=oli-obkGuillaume Gomez-7/+21
2023-01-31Rollup merge of #107467 - WaffleLapkin:uneq, r=oli-obkGuillaume Gomez-8/+7
2023-01-31Auto merge of #106399 - estebank:type-err-span-label, r=nagisabors-144/+105
2023-01-31Review changesMaybe Waffle-2/+2
2023-01-30Track bound types like bound regionsMichael Goulet-7/+21
2023-01-30Fix unquoted projection types in labelEsteban Küber-1/+1
2023-01-30Mention fn coercion rules (needs to be expanded)Esteban Küber-1/+1