{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"///"}]}
/// set of implicit predicates computed for `Inner` thus far. This will
/// Here, when processing the type of field `outer`, we would request the
/// initially come back empty, but in next round we will get `U: 'b`.