[attribute A]
[flow A]
[attribute B]
[flow B]
[desugar A]
[generate code A]
[desugar B]
[generate code B.C]
[generate code B]