{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"assert_non_exhaustive(pats!(ty;"}]}
    assert_non_exhaustive(pats!(ty;
    let ty = Ty::BigStruct { arity: 2, ty: &Ty::BigEnum { arity: 2, ty: &Ty::Bool } };
        Struct(Variant.0, _),