{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"//"}]}
        // well-defined only after all of the ADT type parameters have
        // another type parameter. For ADTs, we consider it
        // been provided. Therefore, we do not allow use of `Self`