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