about summary refs log tree commit diff
path: root/src/test/ui/rfc-2632-const-trait-impl/trait-where-clause.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/rfc-2632-const-trait-impl/trait-where-clause.rs')
-rw-r--r--src/test/ui/rfc-2632-const-trait-impl/trait-where-clause.rs26
1 files changed, 0 insertions, 26 deletions
diff --git a/src/test/ui/rfc-2632-const-trait-impl/trait-where-clause.rs b/src/test/ui/rfc-2632-const-trait-impl/trait-where-clause.rs
deleted file mode 100644
index 85ca5fc9048..00000000000
--- a/src/test/ui/rfc-2632-const-trait-impl/trait-where-clause.rs
+++ /dev/null
@@ -1,26 +0,0 @@
-#![feature(const_trait_impl)]
-
-#[const_trait]
-trait Bar {}
-
-trait Foo {
-    fn a();
-    fn b() where Self: ~const Bar;
-    fn c<T: ~const Bar>();
-}
-
-fn test1<T: Foo>() {
-    T::a();
-    T::b();
-    //~^ ERROR the trait bound
-    T::c::<T>();
-    //~^ ERROR the trait bound
-}
-
-fn test2<T: Foo + Bar>() {
-    T::a();
-    T::b();
-    T::c::<T>();
-}
-
-fn main() {}