{"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":"_"}]}
            _ => {
                .add_constraint(Constraint { kind: ConstraintKind::VarSubReg, sub, sup }, origin),
                if sub != sup {