about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2022-07-07Track `WellFormed` obligations with an appropriate cause, instead of `MiscObl...Esteban Küber-6/+6
2022-07-06Rollup merge of #98519 - TaKO8Ki:add-head-span-field-to-item-and-impl-item, r...Guillaume Gomez-32/+11
2022-07-06use `named_span` in case of tuple variantTakayuki Maeda-1/+1
2022-07-06replace `guess_head_span` with `def_span`Takayuki Maeda-32/+11
2022-07-06Rollup merge of #98884 - davidtwco:translation-on-lints-derive, r=oli-obkDylan DPC-2/+1
2022-07-06Auto merge of #98206 - eggyal:align-to-chalk-folding-api, r=jackh726bors-21/+27
2022-07-06Update TypeVisitor pathsAlan Egerton-18/+22
2022-07-05Relax constrained generics to TypeVisitableAlan Egerton-4/+6
2022-07-05Add #[derive(TypeVisitable)]Alan Egerton-2/+2
2022-07-05Auto merge of #98936 - matthiaskrgr:rollup-dvr0ucm, r=matthiaskrgrbors-4/+3
2022-07-05Rollup merge of #98921 - TaKO8Ki:refactor-fulfillment-context-select, r=Dylan...Matthias Krüger-4/+3
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 #98558 - nnethercote:smallvec-1.8.1, r=lqdbors-1/+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-27Update `smallvec` to 1.8.1.Nicholas Nethercote-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