diff options
Diffstat (limited to 'src/test/ui/consts/const-block-const-bound.rs')
| -rw-r--r-- | src/test/ui/consts/const-block-const-bound.rs | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/test/ui/consts/const-block-const-bound.rs b/src/test/ui/consts/const-block-const-bound.rs index 1ccd0ee9370..42aa0216b87 100644 --- a/src/test/ui/consts/const-block-const-bound.rs +++ b/src/test/ui/consts/const-block-const-bound.rs @@ -1,7 +1,9 @@ #![allow(unused)] #![feature(const_trait_impl, inline_const, negative_impls)] -const fn f<T: ~const Drop>(x: T) {} +use std::marker::Destruct; + +const fn f<T: ~const Destruct>(x: T) {} struct UnconstDrop; @@ -16,8 +18,8 @@ impl !Drop for NonDrop {} fn main() { const { f(UnconstDrop); - //~^ ERROR the trait bound `UnconstDrop: ~const Drop` is not satisfied + //~^ ERROR can't drop f(NonDrop); - //~^ ERROR the trait bound `NonDrop: ~const Drop` is not satisfied + //~^ ERROR can't drop } } |
