diff options
Diffstat (limited to 'src/test/ui/associated-types/associated-types-for-unimpl-trait.rs')
-rw-r--r-- | src/test/ui/associated-types/associated-types-for-unimpl-trait.rs | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/src/test/ui/associated-types/associated-types-for-unimpl-trait.rs b/src/test/ui/associated-types/associated-types-for-unimpl-trait.rs new file mode 100644 index 000000000..0f6cea8e6 --- /dev/null +++ b/src/test/ui/associated-types/associated-types-for-unimpl-trait.rs @@ -0,0 +1,15 @@ +// run-rustfix +#![allow(unused_variables)] + +trait Get { + type Value; + fn get(&self) -> <Self as Get>::Value; +} + +trait Other { + fn uhoh<U:Get>(&self, foo: U, bar: <Self as Get>::Value) {} + //~^ ERROR the trait bound `Self: Get` is not satisfied +} + +fn main() { +} |