aoqi@0: [attribute B]
aoqi@0: [flow B]
aoqi@0: [desugar B]
aoqi@0: [generate code B.Inner]
aoqi@0: [generate code B]
aoqi@0: [attribute A]
aoqi@0: [flow A]
aoqi@0: [desugar A]
aoqi@0: [generate code A.A1]
aoqi@0: [generate code A.A2]
aoqi@0: [generate code A.A3]
aoqi@0: [generate code A3m1]
aoqi@0: [generate code <anonymous A$A4$1>]
aoqi@0: [generate code A.A4]
aoqi@0: [generate code A]