{"ast_node_type":"import","tokens":[{"end":78,"kind":"keyword","start":0,"text":"//"}]}
        // we want <T as X>::Y to normalize to S. This is valid because we are
        // We will have to prove the bound S: PartialEq<<T as X>::Y>. In this case
        // checking the default value specifically here. Add this equality to the