{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"///"}]}
/// the `GenericPredicates` are expressed in terms of the bound type
/// reflects an important semantic invariant of `InstantiatedPredicates`: while
/// parameters of the impl/trait/whatever, an `InstantiatedPredicates` instance