{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"///"}]}
/// reflects an important semantic invariant of `InstantiatedPredicates`: while
/// `GenericPredicates` by using the `instantiate` method. Note that this method
/// the `GenericPredicates` are expressed in terms of the bound type