{"ast_node_type":"other","tokens":[{"end":27,"kind":"keyword","start":0,"text":"///"}]}
/// `ty` outlives `region`.
/// Given a known `param_env` and a set of well formed types, can we prove that
fn ty_known_to_outlive<'tcx>(