about summary refs log tree commit diff
path: root/tests/ui/rfcs/rfc-2632-const-trait-impl/call-generic-method-dup-bound.rs
diff options
context:
space:
mode:
authorMichael Goulet <michael@errs.io>2024-10-22 00:03:09 +0000
committerMichael Goulet <michael@errs.io>2024-10-22 00:03:09 +0000
commite91267f3f094a6f5d16aef0abb864fca4bc8c9f4 (patch)
treeba5ce9ae085572e299066b12a06da711416eea87 /tests/ui/rfcs/rfc-2632-const-trait-impl/call-generic-method-dup-bound.rs
parentedbd9398dcc0e3b6ffe0dd0cd4578d37d1d36974 (diff)
downloadrust-e91267f3f094a6f5d16aef0abb864fca4bc8c9f4.tar.gz
rust-e91267f3f094a6f5d16aef0abb864fca4bc8c9f4.zip
Move tests
Diffstat (limited to 'tests/ui/rfcs/rfc-2632-const-trait-impl/call-generic-method-dup-bound.rs')
-rw-r--r--tests/ui/rfcs/rfc-2632-const-trait-impl/call-generic-method-dup-bound.rs32
1 files changed, 0 insertions, 32 deletions
diff --git a/tests/ui/rfcs/rfc-2632-const-trait-impl/call-generic-method-dup-bound.rs b/tests/ui/rfcs/rfc-2632-const-trait-impl/call-generic-method-dup-bound.rs
deleted file mode 100644
index f46a34911f1..00000000000
--- a/tests/ui/rfcs/rfc-2632-const-trait-impl/call-generic-method-dup-bound.rs
+++ /dev/null
@@ -1,32 +0,0 @@
-//@ known-bug: #110395
-// FIXME(effects) check-pass
-
-#![feature(const_trait_impl, effects)]
-
-struct S;
-
-impl const PartialEq for S {
-    fn eq(&self, _: &S) -> bool {
-        true
-    }
-    fn ne(&self, other: &S) -> bool {
-        !self.eq(other)
-    }
-}
-
-// This duplicate bound should not result in ambiguities. It should be equivalent to a single ~const
-// bound.
-const fn equals_self<T: PartialEq + ~const PartialEq>(t: &T) -> bool {
-    *t == *t
-}
-
-trait A: PartialEq {}
-impl<T: PartialEq> A for T {}
-
-const fn equals_self2<T: A + ~const PartialEq>(t: &T) -> bool {
-    *t == *t
-}
-
-pub const EQ: bool = equals_self(&S) && equals_self2(&S);
-
-fn main() {}