about summary refs log tree commit diff
path: root/compiler/rustc_infer
AgeCommit message (Expand)AuthorLines
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-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
2022-03-11update commentlcnr-7/+4
2022-03-11Improve `AdtDef` interning.Nicholas Nethercote-9/+11
2022-03-10Auto merge of #94737 - lcnr:pass-stuff-by-value, r=davidtwcobors-4/+4
2022-03-09Rollup merge of #94312 - pierwill:fix-94311-lattice-docs, r=jackh726Dylan DPC-12/+20
2022-03-08add `#[rustc_pass_by_value]` to more typeslcnr-4/+4
2022-03-03Rollup merge of #94555 - cuishuang:master, r=oli-obkMatthias Krüger-2/+2
2022-03-03all: fix some typoscuishuang-2/+2
2022-03-028 - Make more use of `let_chains`Caio-185/+145
2022-03-02rename ErrorReported -> ErrorGuaranteedmark-44/+44
2022-03-01add suggestion to update trait if error is in implFausto-2/+8
2022-02-28Suggest adding a new lifetime parameter when two elided lifetimes should matc...Fausto-52/+48
2022-02-28Edit `rustc_trait_selection::infer::lattice` docspierwill-12/+20
2022-02-25Auto merge of #94290 - Mark-Simulacrum:bump-bootstrap, r=pietroalbinibors-1/+1
2022-02-25Rollup merge of #93845 - compiler-errors:in-band-lifetimes, r=cjgillotMatthias Krüger-8/+8
2022-02-25Switch bootstrap cfgsMark Rousskov-1/+1
2022-02-24Remove LifetimeDefOriginMichael Goulet-8/+8
2022-02-25Auto merge of #93368 - eddyb:diagbld-guarantee, r=estebankbors-65/+67
2022-02-24Auto merge of #94131 - Mark-Simulacrum:fmt-string, r=oli-obkbors-23/+18
2022-02-23rustc_errors: let `DiagnosticBuilder::emit` return a "guarantee of emission".Eduard-Mihai Burtescu-26/+32
2022-02-23rustc_errors: take `self` by value in `DiagnosticBuilder::cancel`.Eduard-Mihai Burtescu-1/+3
2022-02-23rustc_errors: remove `struct_dummy`.Eduard-Mihai Burtescu-2/+4
2022-02-23Replace `&mut DiagnosticBuilder`, in signatures, with `&mut Diagnostic`.Eduard-Mihai Burtescu-40/+32
2022-02-21Auto merge of #94225 - matthiaskrgr:rollup-0728x8n, r=matthiaskrgrbors-1/+4