let labeled_user_string = match bound_kind {
GenericKind::Param(ref p) => format!("the parameter type `{}`", p),
- GenericKind::Projection(ref p) => format!("the associated type `{}`", p),
- GenericKind::Opaque(def_id, substs) => {
- format!("the opaque type `{}`", self.tcx.def_path_str_with_substs(def_id, substs))
+ GenericKind::Alias(ty::Projection, ref p) => format!("the associated type `{}`", p),
+ GenericKind::Alias(ty::Opaque, ref p) => {
+ format!(
+ "the opaque type `{}`",
+ self.tcx.def_path_str_with_substs(p.def_id, p.substs)
+ )
}
};