diff options
| author | Michael Goulet <michael@errs.io> | 2024-10-22 00:03:09 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-10-22 00:03:09 +0000 |
| commit | e91267f3f094a6f5d16aef0abb864fca4bc8c9f4 (patch) | |
| tree | ba5ce9ae085572e299066b12a06da711416eea87 /tests/ui/rfcs/rfc-2632-const-trait-impl/call-generic-method-dup-bound.rs | |
| parent | edbd9398dcc0e3b6ffe0dd0cd4578d37d1d36974 (diff) | |
| download | rust-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.rs | 32 |
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() {} |
