expression: super
type: A & B
