struct S { type T }