{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"m.relate(verify_if_eq.ty,"}]}
    m.relate(verify_if_eq.ty, test_ty).ok()?;
    let verify_if_eq = verify_if_eq_b.skip_binder();