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