diff options
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.rs | 17 |
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() {} |