{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"//"}]}
        // way around first would mean we make the type variable `!`, instead of
        // type is a type variable and the new one is `!`, trying it the other
        // just marking it as possibly diverging.