{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"test_ty:"}]}
    test_ty: Ty<'tcx>,
    verify_if_eq_b: &ty::Binder<'tcx, VerifyIfEq<'tcx>>,
) -> Option<ty::Region<'tcx>> {