diff options
Diffstat (limited to 'src/test/ui/type/type-params-in-different-spaces-2.rs')
-rw-r--r-- | src/test/ui/type/type-params-in-different-spaces-2.rs | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/src/test/ui/type/type-params-in-different-spaces-2.rs b/src/test/ui/type/type-params-in-different-spaces-2.rs new file mode 100644 index 000000000..1211e465b --- /dev/null +++ b/src/test/ui/type/type-params-in-different-spaces-2.rs @@ -0,0 +1,21 @@ +// Test static calls to make sure that we align the Self and input +// type parameters on a trait correctly. + +trait Tr<T> : Sized { + fn op(_: T) -> Self; +} + +trait A: Tr<Self> { + fn test<U>(u: U) -> Self { + Tr::op(u) //~ ERROR E0277 + } +} + +trait B<T>: Tr<T> { + fn test<U>(u: U) -> Self { + Tr::op(u) //~ ERROR E0277 + } +} + +fn main() { +} |