{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"fold::TypeFoldable,"}]}
    fold::TypeFoldable, interner::HasInterner, zip::Zip,
    CanonicalVarKind, FloatTy, IntTy, TyVariableKind, UniverseIndex, cast::Cast,
};