summaryrefslogtreecommitdiffstats
path: root/src/test/ui/generic-associated-types/method-unsatified-assoc-type-predicate.rs
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:19:03 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:19:03 +0000
commit64d98f8ee037282c35007b64c2649055c56af1db (patch)
tree5492bcf97fce41ee1c0b1cc2add283f3e66cdab0 /src/test/ui/generic-associated-types/method-unsatified-assoc-type-predicate.rs
parentAdding debian version 1.67.1+dfsg1-1. (diff)
downloadrustc-64d98f8ee037282c35007b64c2649055c56af1db.tar.xz
rustc-64d98f8ee037282c35007b64c2649055c56af1db.zip
Merging upstream version 1.68.2+dfsg1.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'src/test/ui/generic-associated-types/method-unsatified-assoc-type-predicate.rs')
-rw-r--r--src/test/ui/generic-associated-types/method-unsatified-assoc-type-predicate.rs33
1 files changed, 0 insertions, 33 deletions
diff --git a/src/test/ui/generic-associated-types/method-unsatified-assoc-type-predicate.rs b/src/test/ui/generic-associated-types/method-unsatified-assoc-type-predicate.rs
deleted file mode 100644
index 36974b3df..000000000
--- a/src/test/ui/generic-associated-types/method-unsatified-assoc-type-predicate.rs
+++ /dev/null
@@ -1,33 +0,0 @@
-// Test that the predicate printed in an unresolved method error prints the
-// generics for a generic associated type.
-
-trait X {
- type Y<T>;
-}
-
-trait M {
- fn f(&self) {}
-}
-
-impl<T: X<Y<i32> = i32>> M for T {}
-//~^ NOTE trait bound `<S as X>::Y<i32> = i32` was not satisfied
-//~| NOTE unsatisfied trait bound introduced here
-//~| NOTE
-//~| NOTE
-
-struct S;
-//~^ NOTE method `f` not found for this
-//~| NOTE doesn't satisfy `<S as X>::Y<i32> = i32`
-//~| NOTE doesn't satisfy `S: M`
-
-impl X for S {
- type Y<T> = bool;
-}
-
-fn f(a: S) {
- a.f();
- //~^ ERROR the method `f` exists for struct `S`, but its trait bounds were not satisfied
- //~| NOTE method cannot be called on `S` due to unsatisfied trait bounds
-}
-
-fn main() {}