{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"///"}]}
/// requirement that `T: 'a` holds for `Outer`.
/// We then apply the instantiation `['b => 'a, U => T]` and thus get the
fn check_inferred_predicates<'tcx>(