[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] |