module 0x42::M { struct NoAbilities { } struct HasDrop has drop { a: T2 } struct HasCopy has copy { a : T2 } struct HasStore has store { a : T2 } struct HasKey has key { a : T2 } struct S1 has drop { a: HasDrop } struct S2 has copy { a: HasCopy } struct S3 has store { a: HasStore } struct S4 has key { a: HasStore } }