diff options
Diffstat (limited to 'src/test/ui/associated-types/hr-associated-type-bound-1.rs')
-rw-r--r-- | src/test/ui/associated-types/hr-associated-type-bound-1.rs | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/src/test/ui/associated-types/hr-associated-type-bound-1.rs b/src/test/ui/associated-types/hr-associated-type-bound-1.rs new file mode 100644 index 000000000..db414164e --- /dev/null +++ b/src/test/ui/associated-types/hr-associated-type-bound-1.rs @@ -0,0 +1,18 @@ +trait X<'a> +where + for<'b> <Self as X<'b>>::U: Clone, +{ + type U: ?Sized; + fn f(&self, x: &Self::U) { + <Self::U>::clone(x); + } +} + +impl X<'_> for i32 { + type U = str; + //~^ ERROR the trait bound `str: Clone` +} + +fn main() { + 1i32.f("abc"); +} |