about summary refs log tree commit diff
path: root/src/test/ui/rfc-2632-const-trait-impl/trait-where-clause-const.rs
diff options
context:
space:
mode:
authorAlbert Larsan <74931857+albertlarsan68@users.noreply.github.com>2023-01-05 09:13:28 +0100
committerAlbert Larsan <74931857+albertlarsan68@users.noreply.github.com>2023-01-11 09:32:08 +0000
commitcf2dff2b1e3fa55fa5415d524200070d0d7aacfe (patch)
tree40a88d9a46aaf3e8870676eb2538378b75a263eb /src/test/ui/rfc-2632-const-trait-impl/trait-where-clause-const.rs
parentca855e6e42787ecd062d81d53336fe6788ef51a9 (diff)
downloadrust-cf2dff2b1e3fa55fa5415d524200070d0d7aacfe.tar.gz
rust-cf2dff2b1e3fa55fa5415d524200070d0d7aacfe.zip
Move /src/test to /tests
Diffstat (limited to 'src/test/ui/rfc-2632-const-trait-impl/trait-where-clause-const.rs')
-rw-r--r--src/test/ui/rfc-2632-const-trait-impl/trait-where-clause-const.rs31
1 files changed, 0 insertions, 31 deletions
diff --git a/src/test/ui/rfc-2632-const-trait-impl/trait-where-clause-const.rs b/src/test/ui/rfc-2632-const-trait-impl/trait-where-clause-const.rs
deleted file mode 100644
index bfe98b98c74..00000000000
--- a/src/test/ui/rfc-2632-const-trait-impl/trait-where-clause-const.rs
+++ /dev/null
@@ -1,31 +0,0 @@
-// Like trait-where-clause.rs, but we are calling from a const context.
-// Checking the validity of traits' where clauses happen at a later stage.
-// (`rustc_const_eval` instead of `rustc_hir_analysis`) Therefore one file as a
-// test is not enough.
-#![feature(const_trait_impl)]
-
-#[const_trait]
-trait Bar {}
-
-#[const_trait]
-trait Foo {
-    fn a();
-    fn b() where Self: ~const Bar;
-    fn c<T: ~const Bar>();
-}
-
-const fn test1<T: ~const Foo + Bar>() {
-    T::a();
-    T::b();
-    //~^ ERROR the trait bound
-    T::c::<T>();
-    //~^ ERROR the trait bound
-}
-
-const fn test2<T: ~const Foo + ~const Bar>() {
-    T::a();
-    T::b();
-    T::c::<T>();
-}
-
-fn main() {}