{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"//"}]}
        // out the initial shot at a LUB, we thus only consider
        // into account when typing the `then` branch. To figure
        // `expected` if it represents a *hard* constraint