diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-17 12:02:58 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-17 12:02:58 +0000 |
commit | 698f8c2f01ea549d77d7dc3338a12e04c11057b9 (patch) | |
tree | 173a775858bd501c378080a10dca74132f05bc50 /src/test/ui/associated-types/associated-types-no-suitable-supertrait.rs | |
parent | Initial commit. (diff) | |
download | rustc-698f8c2f01ea549d77d7dc3338a12e04c11057b9.tar.xz rustc-698f8c2f01ea549d77d7dc3338a12e04c11057b9.zip |
Adding upstream version 1.64.0+dfsg1.upstream/1.64.0+dfsg1
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'src/test/ui/associated-types/associated-types-no-suitable-supertrait.rs')
-rw-r--r-- | src/test/ui/associated-types/associated-types-no-suitable-supertrait.rs | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/src/test/ui/associated-types/associated-types-no-suitable-supertrait.rs b/src/test/ui/associated-types/associated-types-no-suitable-supertrait.rs new file mode 100644 index 000000000..c373c5855 --- /dev/null +++ b/src/test/ui/associated-types/associated-types-no-suitable-supertrait.rs @@ -0,0 +1,26 @@ +// Check that we get an error when you use `<Self as Get>::Value` in +// the trait definition but `Self` does not, in fact, implement `Get`. +// +// See also associated-types-no-suitable-supertrait-2.rs, which checks +// that we see the same error if we get around to checking the default +// method body. +// +// See also run-pass/associated-types-projection-to-unrelated-trait.rs, +// which checks that the trait interface itself is not considered an +// error as long as all impls satisfy the constraint. + +trait Get { + type Value; +} + +trait Other { + fn uhoh<U:Get>(&self, foo: U, bar: <Self as Get>::Value) {} + //~^ ERROR the trait bound `Self: Get` is not satisfied +} + +impl<T:Get> Other for T { + fn uhoh<U:Get>(&self, foo: U, bar: <(T, U) as Get>::Value) {} + //~^ ERROR the trait bound `(T, U): Get` is not satisfied +} + +fn main() { } |