{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"///"}]}
/// elsewhere, which would check that any `<T as Family>::Member<X>` meets the bounds declared in
/// `Member<C: Eq> = ....` That type would fail a well-formedness check that we ought to be doing
/// the trait (notably, that `X: Eq` and `T: Family`).