- ty::TyVar(ref v) => write!(f, "{:?}", v),
- ty::IntVar(ref v) => write!(f, "{:?}", v),
- ty::FloatVar(ref v) => write!(f, "{:?}", v),
- ty::FreshTy(v) => write!(f, "FreshTy({:?})", v),
- ty::FreshIntTy(v) => write!(f, "FreshIntTy({:?})", v),
- ty::FreshFloatTy(v) => write!(f, "FreshFloatTy({:?})", v)
+ ty::TyVar(ref v) => print!(cx, write("{:?}", v)),
+ ty::IntVar(ref v) => print!(cx, write("{:?}", v)),
+ ty::FloatVar(ref v) => print!(cx, write("{:?}", v)),
+ ty::FreshTy(v) => print!(cx, write("FreshTy({:?})", v)),
+ ty::FreshIntTy(v) => print!(cx, write("FreshIntTy({:?})", v)),
+ ty::FreshFloatTy(v) => print!(cx, write("FreshFloatTy({:?})", v))