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