{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"//"}]}
        //
        // anywhere in ADT type parameter defaults.
        // (We however cannot ban `Self` for defaults on *all* generic