2020-10-14 04:42:59 +00:00
|
|
|
fn main() {
|
2020-11-09 17:45:11 +00:00
|
|
|
[1; <Multiply<Five, Five>>::VAL];
|
2020-10-14 04:42:59 +00:00
|
|
|
}
|
|
|
|
|
trait TypeVal<T> {
|
2020-11-09 17:45:11 +00:00
|
|
|
const VAL: T;
|
2020-10-14 04:42:59 +00:00
|
|
|
}
|
|
|
|
|
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
|
2021-11-26 15:14:16 +00:00
|
|
|
//~| ERROR not all trait items implemented, missing: `VAL`
|
