{"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":"///"}]}
    /// .d2 (mainline):
    ///     ELAB(drop location.1 [target=.d2, unwind=.c2, drop=.e2])
    ///     ELAB(drop location.2 [target=`self.succ`, unwind=`self.unwind`, drop=`self.drop`])