about summary refs log tree commit diff
path: root/src/test/ui/const-generics/defaults/trait_objects_fail.rs
diff options
context:
space:
mode:
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.rs30
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
-}