{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"///"}]}
    /// the set of variables remains intact, but all relationships
    /// Takes (and clears) the current set of constraints. Note that
    /// between them are reset. This is used during NLL checking to