about summary refs log tree commit diff
path: root/compiler/rustc_infer
AgeCommit message (Expand)AuthorLines
2023-08-18Auto merge of #114611 - nnethercote:type-system-chess, r=compiler-errorsbors-1/+23
2023-08-15Rollup merge of #114819 - estebank:issue-78124, r=compiler-errorsMatthias Krüger-18/+68
2023-08-15Rollup merge of #114644 - compiler-errors:lt-err, r=wesleywiserMatthias Krüger-1/+6
2023-08-14Move scrutinee `HirId` into `MatchSource::TryDesugar`Esteban Küber-7/+5
2023-08-14Point at return type when it influences non-first `match` armEsteban Küber-15/+67
2023-08-12Don't crash when reporting nice region errors for generic const itemsLeón Orell Valerian Liehr-17/+7
2023-08-09Ignore `cause` and `recursion_depth` in `Obligation::{eq,hash}`.Nicholas Nethercote-1/+23
2023-08-09Point out expectation even if we have RegionsInsufficientlyPolymorphicMichael Goulet-1/+6
2023-08-08Rollup merge of #114566 - fmease:type-alias-laziness-is-crate-specific, r=oli...Matthias Krüger-2/+2
2023-08-07Store the laziness of type aliases in the DefKindLeón Orell Valerian Liehr-2/+2
2023-08-06don't replace opaque types under binders with infer varsAli MJ Al-Nasrawy-1/+1
2023-08-04don't ICE on higher ranked hidden typesAli MJ Al-Nasrawy-0/+9
2023-08-04Auto merge of #114036 - compiler-errors:upcast-to-fewer-assocs, r=lcnrbors-0/+38
2023-08-04Rollup merge of #114355 - compiler-errors:resolve_vars_early, r=lcnrMatthias Krüger-8/+2
2023-08-03Placeholder nitMichael Goulet-8/+2
2023-08-03Rework upcastingMichael Goulet-0/+38
2023-08-03fix the span in the suggestion of remove question markbohan-1/+1
2023-08-02Remove constness from `TraitPredicate`Deadbeef-13/+2
2023-08-02Rollup merge of #114079 - compiler-errors:closure-upvars, r=oli-obkNilstrieb-2/+6
2023-08-02Rollup merge of #114301 - compiler-errors:dont-error-on-missing-region-outliv...Matthias Krüger-3/+5
2023-08-01Use upvar_tys in more places, make it a listMichael Goulet-2/+6
2023-08-01Suppress unnecessary outlivesMichael Goulet-0/+4
2023-07-31Don't check unnecessarily that impl trait is RPITMichael Goulet-3/+1
2023-07-31Rollup merge of #114267 - compiler-errors:rpitit-opaque-bounds, r=spastorinoMatthias Krüger-7/+0
2023-07-30No need to expect RPITIT projections in opaque item boundsMichael Goulet-7/+0
2023-07-30inline format!() args up to and including rustc_codegen_llvmMatthias Krüger-85/+73
2023-07-28Auto merge of #114181 - matthiaskrgr:rollup-14m8s7f, r=matthiaskrgrbors-6/+12
2023-07-28Lower generic const items to HIRLeón Orell Valerian Liehr-1/+1
2023-07-28Rollup merge of #114146 - compiler-errors:dont-report-rpitit-name, r=spastorinoMatthias Krüger-6/+12
2023-07-27Skip reporting item name when checking RPITIT GAT's associated type bounds holdMichael Goulet-6/+12
2023-07-27Remove `constness` from `ParamEnv`Deadbeef-9/+0
2023-07-23fix some clippy::style findingsMatthias Krüger-3/+5
2023-07-23fix clippy::useless_formatMatthias Krüger-9/+5
2023-07-19Document `PredicateSet::insert`Maybe Waffle-0/+7
2023-07-17Rename arg_iter to iter_instantiatedMichael Goulet-3/+3
2023-07-16self type param infer, avoid ICElcnr-1/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-245/+237
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-35/+55
2023-07-11Rollup merge of #113567 - chenyukang:yukang-fix-113354-while-let, r=cjgillotJubilee-38/+39
2023-07-11Auto merge of #112984 - BoxyUwU:debug_with_infcx, r=compiler-errorsbors-0/+38
2023-07-11Rollup merge of #113310 - jieyouxu:dont-suggest-impl-trait-in-paths, r=lcnrMatthias Krüger-2/+10
2023-07-11While let suggestion will work for closureyukang-38/+39
2023-07-08Auto merge of #113474 - compiler-errors:rollup-07x1up7, r=compiler-errorsbors-11/+0
2023-07-07Rollup merge of #113427 - compiler-errors:no-variances-of-rpitit-gat, r=spast...Michael Goulet-11/+0
2023-07-08Auto merge of #112652 - oli-obk:tait_only_in_sig, r=compiler-errorsbors-1/+1
2023-07-08Don't suggest `impl Trait` in path position许杰友 Jieyou Xu (Joe)-2/+10
2023-07-07Require TAITs to be mentioned in the signatures of functions that register hi...Oli Scherer-1/+1
2023-07-07Auto merge of #113308 - compiler-errors:poly-select, r=lcnrbors-3/+4
2023-07-07Remove variances_of on RPITIT gats, remove its one use-caseMichael Goulet-11/+0
2023-07-06Avoid calling item_name for RPITITSantiago Pastorino-3/+5