module M {
    struct S<T1, phatom T2> {
        a: T1
    }
}