{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"///"}]}
/// trait ref like `<T as Trait<U>>`, we can derive the values of all
/// where-clause). These rules are needed to ensure that, given a
/// parameters on the impl (which is needed to make specialization