self.add_ty(ty);
}
- &ty::Tuple(ref ts) => {
- self.add_tys(&ts[..]);
+ &ty::Tuple(ref substs) => {
+ self.add_substs(substs);
}
&ty::FnDef(_, substs) => {
ConstValue::Param(_) => {
self.add_flags(TypeFlags::HAS_FREE_LOCAL_NAMES | TypeFlags::HAS_PARAMS);
}
+ ConstValue::Placeholder(_) => {
+ self.add_flags(TypeFlags::HAS_FREE_REGIONS | TypeFlags::HAS_CT_PLACEHOLDER);
+ }
_ => {},
}
}