{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"assert_exhaustive(pats!(TY;"}]}
    assert_exhaustive(pats!(TY;
    const TY: Ty = Ty::Enum(&[Ty::Bool, NEVER]);
        Variant.0,