about summary refs log tree commit diff
path: root/compiler/rustc_infer
AgeCommit message (Expand)AuthorLines
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-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
2022-03-28Also use the RPIT back compat hack in trait projectionOli Scherer-4/+9
2022-03-28Fix mixing lazy TAIT and RPIT in their defining scopesOli Scherer-39/+40
2022-03-28Merge two duplicates of the same logic into a common functionOli Scherer-1/+44
2022-03-28Remove opaque type obligation and just register opaque types as they are enco...Oli Scherer-109/+81
2022-03-28Revert to inference variable based hidden type computation for RPITOli Scherer-1/+1
2022-03-28Have the spans of TAIT type conflict errors point to the actual site instead ...Oli Scherer-38/+6
2022-03-28Remove some dead codeOli Scherer-14/+2
2022-03-28Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"Oli Scherer-283/+602
2022-03-27suggest wrapping patterns with compatible enum variantsMichael Goulet-0/+69
2022-03-27review comments and rebaseEsteban Kuber-9/+9
2022-03-27Drive by: handle references in `same_type_modulo_infer`Esteban Kuber-0/+3
2022-03-27Point (again) to more expressions with their type, even if not fully resolvedEsteban Kuber-1/+2
2022-03-27Eagerly replace `{integer}`/`{float}` with `i32`/`f64` for suggestionEsteban Kuber-0/+31
2022-03-25Auto merge of #95082 - spastorino:overlap-inherent-impls, r=nikomatsakisbors-1/+24
2022-03-25Rollup merge of #95179 - b-naber:eval-in-try-unify, r=lcnrDylan DPC-6/+22
2022-03-24Extract impl_subject_and_oglibations fn and make equate receive subjectsSantiago Pastorino-1/+24
2022-03-23Better suggestions for Fn trait selection errorsMichael Goulet-1/+5