{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"Ty(TyVid),"}]}
    Ty(TyVid),
    /// Equivalent to `ty::Infer(ty::TyVar(_))`.
    /// Equivalent to `ty::Infer(ty::IntVar(_))`.