{"ast_node_type":"variable","tokens":[{"end":52,"kind":"keyword","start":0,"text":"let"}]}
    let verify_if_eq = verify_if_eq_b.skip_binder();
    let mut m = MatchAgainstHigherRankedOutlives::new(tcx);
    m.relate(verify_if_eq.ty, test_ty).ok()?;