about summary refs log tree commit diff
path: root/compiler/rustc_infer
AgeCommit message (Expand)AuthorLines
2022-06-02Rollup merge of #97023 - cjgillot:uniform-anon, r=estebankDylan DPC-49/+66
2022-05-30Rollup merge of #97531 - compiler-errors:for-loop-pat-mismatch, r=davidtwcoDylan DPC-1/+8
2022-05-29Note pattern mismatch coming from for-loop desugaringMichael Goulet-1/+8
2022-05-29Auto merge of #97214 - Mark-Simulacrum:stage0-bump, r=pietroalbinibors-1/+0
2022-05-29Handle anonymous lifetimes properly in diagnostics.Camille GILLOT-31/+31
2022-05-29Make lifetime errors more precise in the presence of `Fresh` lifetimes.Camille GILLOT-26/+43
2022-05-27Finish bumping stage0Mark Rousskov-1/+0
2022-05-25suggest constraining dyn trait in impl in NLLb-naber-0/+11
2022-05-25make TraitObject visitors publicb-naber-3/+3
2022-05-23Rollup merge of #97292 - compiler-errors:tcxify-rustc, r=davidtwcoDylan DPC-1/+1
2022-05-22Lifetime variance fixes for rustcMichael Goulet-1/+1
2022-05-22Do leak check after function ptr coercionJack Huey-3/+8
2022-05-20Rollup merge of #97109 - TaKO8Ki:fix-misleading-cannot-infer-type-for-type-pa...Matthias Krüger-0/+23
2022-05-20report ambiguous type parameters when their parents are impl or fnTakayuki Maeda-6/+7
2022-05-20update commentslcnr-8/+2
2022-05-17Rollup merge of #97080 - lcnr:relate-sus, r=oli-obkYuki Okushi-16/+1
2022-05-17fix misleading `cannot infer type for type parameter` errorTakayuki Maeda-0/+22
2022-05-17Auto merge of #96892 - oli-obk:🐌_obligation_cause_code_🐌, r=estebankbors-1/+8
2022-05-16remove the `RelateResultCompare` traitlcnr-16/+1
2022-05-14Auto merge of #96883 - jackh726:early-binder-2, r=oli-obkbors-13/+15
2022-05-14Add bound_explicit_item_bounds and bound_item_boundsJack Huey-7/+7
2022-05-13Add bound_fn_sigJack Huey-4/+4
2022-05-13Add bound_type_ofJack Huey-1/+1
2022-05-11stop suggesting non-existing fully qualified pathsTakayuki Maeda-11/+16
2022-05-10Introduce EarlyBinderJack Huey-12/+14
2022-05-10Remove `clone_code` methodOli Scherer-1/+1
2022-05-10Move an extension trait method onto the type directly and reuse itOli Scherer-1/+8
2022-05-08Auto merge of #96155 - jackh726:param-heuristics-followup, r=estebankbors-3/+4
2022-05-07Auto merge of #96094 - Elliot-Roberts:fix_doctests, r=compiler-errorsbors-45/+54
2022-05-06Resolve vars in note_type_errJack Huey-3/+4
2022-05-06suggest fully qualified path with appropriate paramsTakayuki Maeda-1/+22
2022-05-04Stabilize `bool::then_some`Josh Triplett-1/+0
2022-05-02fix most compiler/ doctestsElliot Roberts-45/+54
2022-05-02rustc: Panic by default in `DefIdTree::parent`Vadim Petrochenkov-6/+4
2022-04-30Auto merge of #96347 - estebank:issue-96292, r=compiler-errorsbors-10/+31
2022-04-30Store all generic bounds as where predicates.Camille GILLOT-44/+23
2022-04-30Inline WhereClause into Generics.Camille GILLOT-4/+4
2022-04-29errors: `span_suggestion` takes `impl ToString`David Wood-1/+1
2022-04-28Rollup merge of #96409 - marmeladema:fix-nll-introduce-named-lifetime-suggest...Dylan DPC-75/+77
2022-04-28Rollup merge of #96471 - BoxyUwU:let_else_considered_harmful, r=lcnrDylan DPC-14/+9
2022-04-27Recover suggestions to introduce named lifetime under NLLmarmeladema-75/+77
2022-04-27tut tut tutEllen-14/+9
2022-04-25Recover most `impl Trait` and `dyn Trait` lifetime bound suggestions under NLLmarmeladema-65/+74
2022-04-24Improve span for `consider adding an explicit lifetime bound` suggestions und...marmeladema-28/+25
2022-04-23Provide consistent output order for suggestionsEsteban Küber-3/+4
2022-04-23Use more targetted suggestion span for fully qualified pathEsteban Küber-7/+10
2022-04-23Erase type params when suggesting fully qualified pathEsteban Küber-0/+17
2022-04-19Auto merge of #96020 - martingms:optimize-relate_substs, r=nnethercotebors-3/+9
2022-04-17Split relate_substs into two functionsMartin Gammelsæter-3/+9
2022-04-16Rollup merge of #95908 - compiler-errors:shallow_resolve_ty-inline, r=oli-obkDylan DPC-44/+39