about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
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
2023-01-26add EarlyBinder::no_bound_varsKyle Matsuda-0/+5
2023-01-26change fn_sig query to use EarlyBinder; remove bound_fn_sig query; add EarlyB...Kyle Matsuda-12/+5
2023-01-26replace usages of fn_sig query with bound_fn_sigKyle Matsuda-3/+6
2023-01-27internally change regions to be covariantAli MJ Al-Nasrawy-12/+2
2023-01-26Rollup merge of #107150 - Nilstrieb:thread-local-cleanups, r=cjgillotMatthias Krüger-178/+189
2023-01-26Auto merge of #107318 - matthiaskrgr:rollup-776kd81, r=matthiaskrgrbors-644/+14
2023-01-26Rollup merge of #107304 - Nilstrieb:ᐸTy as PartialEqᐳ::eq becau...Matthias Krüger-644/+14
2023-01-26Auto merge of #107314 - matthiaskrgr:rollup-j40lnlj, r=matthiaskrgrbors-112/+110
2023-01-26Rollup merge of #107248 - erikdesjardins:addrspace, r=oli-obkMatthias Krüger-112/+110
2023-01-26Auto merge of #105582 - saethlin:instcombine-assert-inhabited, r=cjgillotbors-0/+7
2023-01-25Rollup merge of #105345 - yanchen4791:issue-103582-fix, r=jackh726Matthias Krüger-0/+24
2023-01-25Use `can_eq` to compare types for default assoc type errorNilstrieb-11/+8
2023-01-25Move `note_and_explain_type_err` from `rustc_middle` to `rustc_infer`Nilstrieb-633/+6
2023-01-25Auto merge of #103902 - vincenzopalazzo:macros/obligation_rulesv2, r=oli-obkbors-0/+1
2023-01-23Thread a ParamEnv down to might_permit_raw_initBen Kimock-0/+7