diff options
Diffstat (limited to 'src/test/ui/const-generics/defaults/trait_objects_fail.rs')
| -rw-r--r-- | src/test/ui/const-generics/defaults/trait_objects_fail.rs | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/src/test/ui/const-generics/defaults/trait_objects_fail.rs b/src/test/ui/const-generics/defaults/trait_objects_fail.rs deleted file mode 100644 index 6ab803f9909..00000000000 --- a/src/test/ui/const-generics/defaults/trait_objects_fail.rs +++ /dev/null @@ -1,30 +0,0 @@ -trait Trait<const N: u8 = 12> { - fn uwu(&self) -> u8 { - N - } -} - -impl Trait<2> for u32 {} - -fn foo(arg: &dyn Trait) -> u8 { - arg.uwu() -} - -trait Traitor<const N: u8 = 1, const M: u8 = N> { - fn owo(&self) -> u8 { - M - } -} - -impl Traitor<2, 3> for bool {} - -fn bar<const N: u8>(arg: &dyn Traitor<N>) -> u8 { - arg.owo() -} - -fn main() { - foo(&10_u32); - //~^ error: the trait bound `u32: Trait` is not satisfied - bar(&true); - //~^ error: the trait bound `bool: Traitor<_>` is not satisfied -} |
