{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"//"}]}
        //
        // impl X for T { default type Y = S; }
        // We will have to prove the bound S: PartialEq<<T as X>::Y>. In this case