about summary refs log tree commit diff
path: root/compiler/rustc_infer/src
AgeCommit message (Expand)AuthorLines
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
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
2022-02-21obligation forest docslcnr-1/+3
2022-02-21add commentlcnr-0/+1
2022-02-21use `List<Ty<'tcx>>` for tupleslcnr-9/+10
2022-02-20Always format to internal String in FmtPrinterMark Rousskov-23/+18
2022-02-20Rollup merge of #94146 - est31:let_else, r=cjgillotMatthias Krüger-33/+23
2022-02-19Adopt let else in more placesest31-33/+23
2022-02-19Rollup merge of #93990 - lcnr:pre-89862-cleanup, r=estebankMatthias Krüger-7/+23
2022-02-18Rollup merge of #93892 - compiler-errors:issue-92917, r=jackh726,nikomatsakisMatthias Krüger-1/+1
2022-02-18Rollup merge of #92683 - jackh726:issue-92033, r=estebankMatthias Krüger-1/+70
2022-02-18Auto merge of #94088 - oli-obk:revert, r=jackh726bors-2/+2
2022-02-17Rollup merge of #94011 - est31:let_else, r=lcnrMatthias Krüger-4/+2
2022-02-17Suggest copying trait associated type bounds on lifetime errorJack Huey-1/+70
2022-02-17Revert "Auto merge of #91403 - cjgillot:inherit-async, r=oli-obk"Oli Scherer-2/+2
2022-02-16Adopt let_else in even more placesest31-4/+2
2022-02-16allow special behavior when printing const inferlcnr-7/+23