summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2022-07-05lint: `LintDiagnosticBuilder` into `rustc_errors`David Wood-2/+1
2022-07-05Auto merge of #98584 - lcnr:region-stuff-more-beans, r=oli-obkbors-112/+16
2022-07-05refactor: remove a redundant mutable variableTakayuki Maeda-4/+3
2022-07-04region obligations, remove `body_id`lcnr-1/+1
2022-07-04implied bounds byebye nested hir idslcnr-21/+4
2022-07-04rip out `RegionCtxt` from hir typecklcnr-67/+3
2022-07-04remove an unused `DefId`lcnr-23/+8
2022-07-04remove unused function argumentlcnr-24/+3
2022-07-01Move Sized check before first error is createdMichael Goulet-31/+31
2022-07-01Don't point at Self type if we can't find an infer variable in ambiguous trai...Michael Goulet-27/+36
2022-07-01Show source of ambiguity in a few more placesMichael Goulet-3/+3
2022-07-01Only label place where type is needed if span is meaningfulMichael Goulet-2/+12
2022-06-30Make `evaluate_obligation` not succeed unconditionally if it registered new h...Oli Scherer-0/+5
2022-06-29Rollup merge of #98668 - TaKO8Ki:avoid-many-&str-to-string-conversions, r=Dyl...Matthias Krüger-2/+1
2022-06-29Rollup merge of #98499 - JulianKnodt:erase_lifetime, r=lcnrDylan DPC-1/+2
2022-06-29avoid many `&str` to `String` conversions with `MultiSpan::push_span_label`Takayuki Maeda-2/+1
2022-06-29Auto merge of #98656 - Dylan-DPC:rollup-hhytn0c, r=Dylan-DPCbors-9/+9
2022-06-29Erase regions in new abstract constskadmin-1/+2
2022-06-29Auto merge of #98542 - jackh726:coinductive-wf, r=oli-obkbors-15/+100
2022-06-29Avoid constructing an unnecessary `InferCtxt`.Nicholas Nethercote-4/+1
2022-06-29Change `Search::infcx` to `tcx`.Nicholas Nethercote-14/+10
2022-06-28Note concrete type being coerced into objectMichael Goulet-2/+3
2022-06-28Fix trait object reborrow suggestionMichael Goulet-8/+7
2022-06-28Rollup merge of #97346 - JohnTitor:remove-back-compat-hacks, r=oli-obkDylan DPC-17/+4
2022-06-28Take into account trait predicate coinductivenessJack Huey-6/+36
2022-06-28Make empty bounds lower to WellFormed and make WellFormed coinductiveJack Huey-15/+70
2022-06-27Rollup merge of #98576 - lcnr:region-stuff-cool-beans, r=jackh726Matthias Krüger-6/+2
2022-06-27Rollup merge of #98506 - compiler-errors:object-safety-suggestions, r=oli-obkMatthias Krüger-33/+45
2022-06-27outside of borrowck, do not provide an implicit_region_boundlcnr-6/+2
2022-06-27Remove a back-compat hack on lazy TAITYuki Okushi-17/+4
2022-06-27Auto merge of #98221 - cjgillot:single-coh, r=lcnrbors-1/+1
2022-06-25Fix span issues in object safety suggestionsMichael Goulet-33/+45
2022-06-25Rollup merge of #98311 - eggyal:reverse-folder-hierarchy, r=jackh726Matthias Krüger-4/+2
2022-06-23Rollup merge of #98365 - jyn514:improve-obligation-errors-review-comments, r=...Michael Goulet-22/+4
2022-06-23Rollup merge of #98259 - jyn514:improve-obligation-errors, r=estebankMichael Goulet-12/+93
2022-06-22Perform coherence checking per impl.Camille GILLOT-1/+1
2022-06-21Point at return expression for RPIT-related errorMichael Goulet-0/+11
2022-06-21Address review comments from #98259Joshua Nelson-22/+4
2022-06-21Reverse folder hierarchyAlan Egerton-4/+2
2022-06-21Rollup merge of #97805 - coolreader18:trace-suggestions, r=oli-obkYuki Okushi-58/+36
2022-06-20Auto merge of #97674 - nnethercote:oblig-forest-tweaks, r=nikomatsakisbors-60/+38
2022-06-20Fix minor documentation typoPeter Hebden-1/+1
2022-06-19Greatly improve error reporting for futures and generators in `note_obligatio...Joshua Nelson-12/+93
2022-06-19Rollup merge of #98136 - fee1-dead-contrib:rename_impl_constness, r=oli-obkDylan DPC-3/+2
2022-06-15Rename `impl_constness` to `constness`Deadbeef-3/+2
2022-06-15Rollup merge of #98110 - cjgillot:closure-brace, r=Aaron1011Yuki Okushi-9/+9
2022-06-14rebaseb-naber-6/+2
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-34/+55
2022-06-14Rollup merge of #97935 - nnethercote:rename-ConstS-val-as-kind, r=lcnrDylan DPC-27/+27
2022-06-14Auto merge of #98041 - jackh726:remove-regionckmode, r=oli-obkbors-8/+4