{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"//"}]}
            // Covariant cases: loans flow in the regular direction, from the current point to the
        ConstraintDirection::Forward => {
            // next point.