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