summary refs log tree commit diff
path: root/compiler/rustc_infer/src
AgeCommit message (Expand)AuthorLines
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-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
2022-04-16Auto merge of #92364 - jackh726:Quantumplation/65853/param-heuristics, r=este...bors-6/+7
2022-04-16Implementation for 65853Jack Huey-6/+7
2022-04-15Rollup merge of #96026 - matthiaskrgr:clippy_compl_1304, r=Dylan-DPCDylan DPC-3/+3
2022-04-15Rollup merge of #94457 - jhpratt:stabilize-derive_default_enum, r=davidtwcoDylan DPC-1/+1
2022-04-13couple of clippy::complexity fixesMatthias Krüger-3/+3
2022-04-10Inline shallow_resolve_ty into ShallowResolverMichael Goulet-44/+39
2022-04-09Auto merge of #95524 - oli-obk:cached_stable_hash_cleanups, r=nnethercotebors-18/+17
2022-04-08Avoid looking at the internals of Interned directlyOli Scherer-18/+17
2022-04-07Stabilize `derive_default_enum`Jacob Pratt-1/+1
2022-04-05errors: implement fallback diagnostic translationDavid Wood-4/+3
2022-04-05span: move `MultiSpan`David Wood-11/+9
2022-04-02Rollup merge of #95560 - lcnr:obligation-cause, r=oli-obkDylan DPC-13/+17
2022-04-02Rollup merge of #95559 - lcnr:inferctxt-typeck, r=oli-obkDylan DPC-20/+10
2022-04-01convert more `DefId`s to `LocalDefId`lcnr-13/+17
2022-04-01remove `unify_key::replace_if_possible`lcnr-16/+7
2022-04-01update commentslcnr-4/+3
2022-04-01Rollup merge of #95260 - compiler-errors:fn, r=davidtwcoMatthias Krüger-1/+5
2022-03-31remove unused field from `infcx`lcnr-26/+2
2022-03-30Addressed comments by @compiler-errors and @bjorn3Yuri Astrakhan-2/+2
2022-03-30Spellchecking compiler commentsYuri Astrakhan-16/+16
2022-03-30Auto merge of #94081 - oli-obk:lazy_tait_take_two, r=nikomatsakisbors-307/+603