about summary refs log tree commit diff
path: root/compiler/rustc_infer
AgeCommit message (Expand)AuthorLines
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
2022-03-24Properly track `ImplObligation`sEsteban Kuber-1/+1
2022-03-22erase region in ParamEnvAnd and make ConstUnifyCtxt privateb-naber-4/+4
2022-03-22dont canonicalize in try_unify_abstract_consts and erase regions insteadb-naber-8/+10
2022-03-22fix previous failures and address reviewb-naber-7/+6
2022-03-21dont try to unify unevaluated constants that contain infer varsb-naber-1/+15
2022-03-21try to evaluate in try_unifyb-naber-1/+2
2022-03-16rustc_error: make ErrorReported impossible to constructmark-21/+24
2022-03-12Auto merge of #94733 - nnethercote:fix-AdtDef-interning, r=fee1-deadbors-9/+11