diff options
Diffstat (limited to 'tests/ui/rfc-2632-const-trait-impl/const-drop-bound.rs')
-rw-r--r-- | tests/ui/rfc-2632-const-trait-impl/const-drop-bound.rs | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/tests/ui/rfc-2632-const-trait-impl/const-drop-bound.rs b/tests/ui/rfc-2632-const-trait-impl/const-drop-bound.rs deleted file mode 100644 index 948f0efbc..000000000 --- a/tests/ui/rfc-2632-const-trait-impl/const-drop-bound.rs +++ /dev/null @@ -1,25 +0,0 @@ -// check-pass - -#![feature(const_trait_impl)] -#![feature(const_precise_live_drops)] - -use std::marker::Destruct; - -const fn foo<T, E>(res: Result<T, E>) -> Option<T> where E: ~const Destruct { - match res { - Ok(t) => Some(t), - Err(_e) => None, - } -} - -pub struct Foo<T>(T); - -const fn baz<T, E>(res: Result<Foo<T>, Foo<E>>) -> Option<Foo<T>> -where - T: ~const Destruct, - E: ~const Destruct, -{ - foo(res) -} - -fn main() {} |