{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"//"}]}
        //   the `Scalar` we return.
        // - The discriminant has a type for typechecking. This is `discr_layout`, and is used for
        // - The tag (encoded discriminant) has layout `tag_layout`. This is always an integer type,