summaryrefslogtreecommitdiffstats
path: root/tests/ui/rfc-2632-const-trait-impl/call-generic-method-nonconst.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/rfc-2632-const-trait-impl/call-generic-method-nonconst.rs')
-rw-r--r--tests/ui/rfc-2632-const-trait-impl/call-generic-method-nonconst.rs26
1 files changed, 0 insertions, 26 deletions
diff --git a/tests/ui/rfc-2632-const-trait-impl/call-generic-method-nonconst.rs b/tests/ui/rfc-2632-const-trait-impl/call-generic-method-nonconst.rs
deleted file mode 100644
index 414a8c87d..000000000
--- a/tests/ui/rfc-2632-const-trait-impl/call-generic-method-nonconst.rs
+++ /dev/null
@@ -1,26 +0,0 @@
-#![feature(const_trait_impl)]
-
-struct S;
-
-#[const_trait]
-trait Foo {
- fn eq(&self, _: &Self) -> bool;
-}
-
-impl Foo for S {
- fn eq(&self, _: &S) -> bool {
- true
- }
-}
-
-const fn equals_self<T: ~const Foo>(t: &T) -> bool {
- true
-}
-
-// Calling `equals_self` with something that has a non-const impl should throw an error, despite
-// it not using the impl.
-
-pub const EQ: bool = equals_self(&S);
-//~^ ERROR
-
-fn main() {}