diff options
Diffstat (limited to 'tests/ui/rfcs/rfc-2632-const-trait-impl/effects/const-bound-on-not-const-associated-fn.rs')
-rw-r--r-- | tests/ui/rfcs/rfc-2632-const-trait-impl/effects/const-bound-on-not-const-associated-fn.rs | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/tests/ui/rfcs/rfc-2632-const-trait-impl/effects/const-bound-on-not-const-associated-fn.rs b/tests/ui/rfcs/rfc-2632-const-trait-impl/effects/const-bound-on-not-const-associated-fn.rs deleted file mode 100644 index 1e22ddcea..000000000 --- a/tests/ui/rfcs/rfc-2632-const-trait-impl/effects/const-bound-on-not-const-associated-fn.rs +++ /dev/null @@ -1,28 +0,0 @@ -#![feature(const_trait_impl, effects)] - -#[const_trait] -trait MyTrait { - fn do_something(&self); -} - -trait OtherTrait { - fn do_something_else() where Self: ~const MyTrait; - //~^ ERROR `~const` is not allowed here -} - -struct MyStruct<T>(T); - -impl const MyTrait for u32 { - fn do_something(&self) {} -} - -impl<T> MyStruct<T> { - pub fn foo(&self) where T: ~const MyTrait { - //~^ ERROR `~const` is not allowed here - self.0.do_something(); - } -} - -fn main() { - MyStruct(0u32).foo(); -} |