{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"//"}]}
        // Need to find out in what cases this is necessary
        // rest for later. Also, there's some logic about sized type variables.
        let solution = self