{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"//"}]}
            // invalid value, which is UB.
            // Hoisting the `discriminant(Q)` out of the `A` arm causes us to compute the discriminant of an
            // In order to fix this, **we would either need to show that the discriminant computation of