{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"//"}]}
    // we saw and assigning it to the expected return type. This isn't
    // Finalize the return check by taking the LUB of the return types
    // really expected to fail, since the coercions would have failed