summaryrefslogtreecommitdiffstats
path: root/tests/ui/issues/issue-77919.rs
blob: 966d76d148af3f69d901198d4955d3b4654d769a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
fn main() {
    [1; <Multiply<Five, Five>>::VAL];
}
trait TypeVal<T> {
    const VAL: T;
}
struct Five;
struct Multiply<N, M> {
    _n: PhantomData, //~ ERROR cannot find type `PhantomData` in this scope
}
impl<N, M> TypeVal<usize> for Multiply<N, M> where N: TypeVal<VAL> {}
//~^ ERROR cannot find type `VAL` in this scope
//~| ERROR not all trait items implemented, missing: `VAL`