{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"//"}]}
        // HOWEVER, this code works fine. The reason is that the
        //
        // expected type here is whatever type the user wrote, not