{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"//"}]}
            // If we expect `lhs ?= true`, we have an opportunity if we assume `lhs == true`.
            }
            StatementKind::Intrinsic(box NonDivergingIntrinsic::Assume(