summaryrefslogtreecommitdiffstats
path: root/tests/ui/rfc-2632-const-trait-impl/call-generic-in-impl.rs
blob: 50c46579086c6cad1201a86a18ee610bb8e11cac (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
// check-pass
#![feature(const_trait_impl)]

#[const_trait]
trait MyPartialEq {
    fn eq(&self, other: &Self) -> bool;
}

impl<T: ~const PartialEq> const MyPartialEq for T {
    fn eq(&self, other: &Self) -> bool {
        PartialEq::eq(self, other)
    }
}

fn main() {}