summaryrefslogtreecommitdiffstats
path: root/tests/ui/rfc-2632-const-trait-impl/default-method-body-is-const-body-checking.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/rfc-2632-const-trait-impl/default-method-body-is-const-body-checking.rs')
-rw-r--r--tests/ui/rfc-2632-const-trait-impl/default-method-body-is-const-body-checking.rs17
1 files changed, 0 insertions, 17 deletions
diff --git a/tests/ui/rfc-2632-const-trait-impl/default-method-body-is-const-body-checking.rs b/tests/ui/rfc-2632-const-trait-impl/default-method-body-is-const-body-checking.rs
deleted file mode 100644
index 96acdc300..000000000
--- a/tests/ui/rfc-2632-const-trait-impl/default-method-body-is-const-body-checking.rs
+++ /dev/null
@@ -1,17 +0,0 @@
-#![feature(const_trait_impl)]
-
-#[const_trait]
-trait Tr {}
-impl Tr for () {}
-
-const fn foo<T>() where T: ~const Tr {}
-
-#[const_trait]
-pub trait Foo {
- fn foo() {
- foo::<()>();
- //~^ ERROR the trait bound `(): ~const Tr` is not satisfied
- }
-}
-
-fn main() {}