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