about summary refs log tree commit diff
path: root/compiler/rustc_infer
AgeCommit message (Expand)AuthorLines
2022-12-19Add IMPLIED_BOUNDS_ENTAILMENT lintMichael Goulet-2/+7
2022-12-19implement the skeleton of the updated trait solverlcnr-1/+5
2022-12-19Rollup merge of #105864 - matthiaskrgr:compl, r=NilstriebDylan DPC-8/+2
2022-12-19clippy::complexity fixesMatthias Krüger-8/+2
2022-12-18Rollup merge of #105873 - matthiaskrgr:clippy_fmt, r=NilstriebMatthias Krüger-12/+6
2022-12-18A few small cleanups for `newtype_index`Nilstrieb-4/+2
2022-12-18Make `#[debug_format]` an attribute in `newtype_index`Nilstrieb-2/+2
2022-12-18Rollup merge of #105875 - matthiaskrgr:needless_borrowed_reference, r=oli-obkMatthias Krüger-1/+1
2022-12-18don't restuct references just to reborrowMatthias Krüger-1/+1
2022-12-18avoid .into() conversion to identical typesMatthias Krüger-1/+1
2022-12-18use &str / String literals instead of format!()Matthias Krüger-12/+6
2022-12-15Auto merge of #105657 - oli-obk:mk_projection_ty, r=lcnrbors-45/+38
2022-12-14Auto merge of #105233 - mejrs:always_eager, r=estebankbors-1/+1
2022-12-14Prevent the creation of `TraitRef` without dedicated methodsOli Scherer-6/+4
2022-12-14Ensure no one constructs `AliasTy`s themselvesOli Scherer-39/+34
2022-12-14Rollup merge of #105611 - BoxyUwU:more_granular_placeholderification, r=wesle...Matthias Krüger-15/+38
2022-12-14Rollup merge of #105523 - estebank:suggest-collect-vec, r=compiler-errorsMatthias Krüger-38/+66
2022-12-13rename argumentEsteban Küber-2/+6
2022-12-13review commentsEsteban Küber-28/+27
2022-12-13Suggest `: Type` instead of `: _`Esteban Küber-6/+9
2022-12-13Remove unnecessary code and account for turbofish suggestionEsteban Küber-25/+31
2022-12-13Suggest `collect`ing into `Vec<_>`Esteban Küber-8/+24
2022-12-13Address a few more nitsMichael Goulet-6/+6
2022-12-13Combine identical alias armsMichael Goulet-5/+4
2022-12-13Combine projection and opaque into aliasMichael Goulet-54/+61
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-40/+40
2022-12-13ProjectionTy.item_def_id -> ProjectionTy.def_idMichael Goulet-19/+18
2022-12-13Use ty::OpaqueTy everywhereMichael Goulet-43/+67
2022-12-13Auto merge of #105350 - compiler-errors:faster-binder-relate, r=oli-obkbors-0/+20
2022-12-13EarlyBinder nitsMichael Goulet-6/+5
2022-12-13Fast path some binder relationsMichael Goulet-0/+20
2022-12-13remove unnecessary uses of `clone`Takayuki Maeda-1/+1
2022-12-12fold instead of obliterating argsBoxy-15/+38
2022-12-09Rollup merge of #105443 - compiler-errors:move-more, r=oli-obkMatthias Krüger-660/+1304
2022-12-08Rollup merge of #104922 - estebank:fur-elize, r=oli-obkMatthias Krüger-79/+104
2022-12-08Move some suggestions from error_reporting to error_reporting::suggestMichael Goulet-660/+1304
2022-12-05Make get_impl_future_output_ty work with AFITMichael Goulet-1/+9
2022-12-04Always evaluate vecs of subdiagnostics eagerlymejrs-1/+1
2022-12-03Rollup merge of #105188 - compiler-errors:verbose-ty-err, r=TaKO8KiYuki Okushi-3/+3
2022-12-02Don't elide information when printing E0308 with ZverboseMichael Goulet-3/+3
2022-12-02Rollup merge of #105185 - compiler-errors:normalize_fn_sig-in-err-ctxt, r=lcnrMatthias Krüger-39/+10
2022-12-02Move normalize_fn_sig to TypeErrCtxtMichael Goulet-39/+10
2022-12-01Drive-by: remove unused type aliasMichael Goulet-1/+0
2022-11-30Auto merge of #99814 - aliemjay:patch-2, r=jackh726bors-3/+6
2022-11-29Auto merge of #105012 - WaffleLapkin:into, r=oli-obkbors-26/+15
2022-11-28Tweak shortening logic to be less trigger happyEsteban Küber-1/+4
2022-11-28Detect long types in E0308 and write them to diskEsteban Küber-79/+101
2022-11-28Remove `Const::from_value`Maybe Waffle-1/+1
2022-11-28Simplify calls to `tcx.mk_const`Maybe Waffle-18/+7
2022-11-28Remove `tcx.mk_const_var`Maybe Waffle-7/+7