]> git.lizzy.rs Git - rust.git/commit
Point at `impl` blocks when they introduce unmet obligations
authorEsteban Kuber <esteban@kuber.com.ar>
Wed, 13 Oct 2021 14:28:28 +0000 (14:28 +0000)
committerEsteban Kuber <esteban@kuber.com.ar>
Sat, 20 Nov 2021 19:19:33 +0000 (19:19 +0000)
commit9fa165d11b5eeedcf6e04f4812704d7fccf60ed6
treed719094389b9b651646d2cb822f179ffa95e8bc0
parent8f433adf75c9e3f1befea5115d7e84531b3668ad
Point at `impl` blocks when they introduce unmet obligations

Group obligations by `impl` block that introduced them.
compiler/rustc_typeck/src/check/method/mod.rs
compiler/rustc_typeck/src/check/method/probe.rs
compiler/rustc_typeck/src/check/method/suggest.rs
src/test/ui/derives/derive-assoc-type-not-impl.stderr
src/test/ui/generic-associated-types/method-unsatified-assoc-type-predicate.rs
src/test/ui/generic-associated-types/method-unsatified-assoc-type-predicate.stderr
src/test/ui/hrtb/issue-30786.migrate.stderr
src/test/ui/hrtb/issue-30786.nll.stderr
src/test/ui/specialization/defaultimpl/specialization-trait-not-implemented.stderr