{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"///"}]}
///
/// trait X { type Y: Copy } impl X for T { type Y = S; }
/// We are able to normalize `<T as X>::Y` to `S`, and so when we check the