diff options
Diffstat (limited to 'src/test/ui/const-generics/where-clauses.rs')
-rw-r--r-- | src/test/ui/const-generics/where-clauses.rs | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/src/test/ui/const-generics/where-clauses.rs b/src/test/ui/const-generics/where-clauses.rs deleted file mode 100644 index aa3ca1cf6..000000000 --- a/src/test/ui/const-generics/where-clauses.rs +++ /dev/null @@ -1,30 +0,0 @@ -// check-pass -trait Bar<const N: usize> { fn bar() {} } -trait Foo<const N: usize>: Bar<N> {} - -fn test<T, const N: usize>() where T: Foo<N> { - <T as Bar<N>>::bar(); -} - -struct Faz<const N: usize>; - -impl<const N: usize> Faz<N> { - fn test<T>() where T: Foo<N> { - <T as Bar<N>>::bar() - } -} - -trait Fiz<const N: usize> { - fn fiz<T>() where T: Foo<N> { - <T as Bar<N>>::bar(); - } -} - -impl<const N: usize> Bar<N> for u8 {} -impl<const N: usize> Foo<N> for u8 {} -impl<const N: usize> Fiz<N> for u8 {} -fn main() { - test::<u8, 13>(); - Faz::<3>::test::<u8>(); - <u8 as Fiz<13>>::fiz::<u8>(); -} |