{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"assert!(!outlives_predicate.has_escaping_bound_vars());"}]}
    assert!(!outlives_predicate.has_escaping_bound_vars());
) -> bool {
    let erased_outlives_predicate = tcx.erase_regions(outlives_predicate);