{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"TyKind::Scalar(_)"}]}
        TyKind::Scalar(_)
        TyKind::BoundVar(_) | TyKind::InferenceVar(..) => Ok(None),
        | TyKind::Array(..)