{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"///"}]}
/// applying the instantiation as above.
/// can ignore, but we will want to process `U: 'static`,
fn check_explicit_predicates<'tcx>(