blob: 09f35a277371e2c4d3a60224f05824917e6c6932 [file] [log] [blame]
Jonas Schievinke69fcea2020-11-22 03:19:461//! Basic test for calling methods on generic type parameters in `const fn`.
2
Deadbeef4c6ddc02023-04-16 11:12:373// known-bug: #110395
Jonas Schievinke69fcea2020-11-22 03:19:464
Jonas Schievinke69fcea2020-11-22 03:19:465#![feature(const_trait_impl)]
Jonas Schievinke69fcea2020-11-22 03:19:466
7struct S;
8
9impl const PartialEq for S {
10 fn eq(&self, _: &S) -> bool {
11 true
12 }
Deadbeef22a8d462021-06-23 10:37:2613 fn ne(&self, other: &S) -> bool {
14 !self.eq(other)
15 }
Jonas Schievinke69fcea2020-11-22 03:19:4616}
17
Deadbeef703c5572021-08-25 15:21:5518const fn equals_self<T: ~const PartialEq>(t: &T) -> bool {
Jonas Schievinke69fcea2020-11-22 03:19:4619 *t == *t
20}
21
22pub const EQ: bool = equals_self(&S);
23
24fn main() {}