about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
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
2023-02-04Remove `OnHit` callback from query caches.Camille GILLOT-40/+20
2023-02-03Rollup merge of #107621 - compiler-errors:intern-external-constraints, r=lcnrMichael Goulet-0/+4
2023-02-03Make const/fn return params more suggestableMichael Goulet-5/+92
2023-02-03intern external constraintsMichael Goulet-0/+4
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-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-4/+3
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-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
2023-01-30Hide lifetimes of `impl Trait` in force trimmed pathsEsteban Küber-3/+5
2023-01-30Do not mention lifetime names in force trimmed pathsEsteban Küber-0/+4
2023-01-30Don't show `for<'lt>` in force trimmed pathsEsteban Küber-3/+8
2023-01-30review commentsEsteban Küber-36/+43
2023-01-30Modify primary span label for E0308Esteban Küber-124/+67
2023-01-29Auto merge of #106253 - nbdd0121:upcast, r=compiler-errorsbors-4/+0
2023-01-29Auto merge of #106227 - bryangarza:ctfe-limit, r=oli-obkbors-1/+7
2023-01-28Auto merge of #107206 - cjgillot:no-h2l-map, r=WaffleLapkinbors-4/+9
2023-01-28Make `is_object_safe` a query and move lint_object_unsafe_trait call thereGary Guo-4/+0
2023-01-28Rollup merge of #107384 - Nilstrieb:bool-for-deletion, r=oli-obkMatthias Krüger-13/+0
2023-01-28Remove `HirId -> LocalDefId` map from HIR.Camille GILLOT-4/+9
2023-01-28Rollup merge of #107339 - aliemjay:covariant, r=lcnrMatthias Krüger-12/+2
2023-01-27Restrict amount of ignored locals.Camille GILLOT-1/+1
2023-01-27Compute generator saved locals on MIR.Camille GILLOT-2/+79
2023-01-27Remove unused importnils-1/+0
2023-01-27Remove `BOOL_TY_FOR_UNIT_TESTING`Nilstrieb-12/+0
2023-01-27Separate witness type computation from the generator transform.Camille GILLOT-0/+1
2023-01-27Remember where a type was kept in MIR.Camille GILLOT-3/+3
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-53/+132
2023-01-27Impl HashStable/Encodable/Decodable for ObligationCause.Camille GILLOT-3/+33