{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"ConstraintDirection::Bidirectional"}]}
        ConstraintDirection::Bidirectional => {
        }
            // For invariant cases, loans can flow in both directions: we add both edges.