{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"///"}]}
/// We are able to normalize `<T as X>::Y` to `S`, and so when we check the
///
/// impl is well-formed we have to prove `S: Copy`.