{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"DefKind::TyAlias"}]}
            DefKind::TyAlias => ty::Free,
            DefKind::OpaqueTy => ty::Opaque,
            kind => bug!("unexpected DefKind in AliasTy: {kind:?}"),