// "Create trait 'A'" "true" package p class Foo: A { } trait A { }