about summary refs log tree commit diff
path: root/compiler/rustc_infer
AgeCommit message (Expand)AuthorLines
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-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
2022-02-15Inline UnifyKey::index and UnifyKey::from_indexTomasz Miąsko-0/+1
2022-02-15Overhaul `Const`.Nicholas Nethercote-106/+99
2022-02-15Remove unnecessary `RegionKind::` quals.Nicholas Nethercote-1/+1
2022-02-15Overhaul `RegionKind` and `Region`.Nicholas Nethercote-165/+162
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-18/+18
2022-02-14reveal_defining_opaque_types field doesn't exist after rebaseSantiago Pastorino-1/+0
2022-02-14Call the method fork instead of clone and add proper commentsSantiago Pastorino-2/+33
2022-02-14Auto merge of #93938 - BoxyUwU:fix_res_self_ty, r=lcnrbors-1/+2
2022-02-13Rollup merge of #93810 - matthewjasper:chalk-and-canonical-universes, r=jackh726Matthias Krüger-17/+158
2022-02-12Address review commentMatthew Jasper-1/+3
2022-02-12change to a struct variantEllen-1/+2
2022-02-12Inherit lifetimes for async fn instead of duplicating them.Camille GILLOT-2/+2
2022-02-11Renumber universes when canonicalizing for ChalkMatthew Jasper-17/+156
2022-02-11Auto merge of #93893 - oli-obk:sad_revert, r=oli-obkbors-603/+283
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-602/+283
2022-02-11Revert "Auto merge of #92306 - Aaron1011:opaque-type-op, r=oli-obk"Oli Scherer-1/+0
2022-02-10only mark projection as ambiguous if GAT substs are constrainedMichael Goulet-1/+1
2022-02-10Remove further usage of `&hir::Map`Frank Steffahn-1/+1
2022-02-09Auto merge of #92306 - Aaron1011:opaque-type-op, r=oli-obkbors-0/+1
2022-02-08Improve opaque type higher-ranked region error message under NLLAaron Hill-0/+1
2022-02-08Rollup merge of #92715 - chordtoll:empty-string, r=davidtwcoMatthias Krüger-1/+1