{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"assert!(!verify_if_eq_b.has_escaping_bound_vars());"}]}
    assert!(!verify_if_eq_b.has_escaping_bound_vars());
) -> Option<ty::Region<'tcx>> {
    let mut m = MatchAgainstHigherRankedOutlives::new(tcx);