{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"///"}]}
/// We then apply the instantiation `['b => 'a, U => T]` and thus get the
/// initially come back empty, but in next round we will get `U: 'b`.
/// requirement that `T: 'a` holds for `Outer`.