src/librustc_symbol_mangling/v0.rs

   1 use rustc_ast::ast::{FloatTy, IntTy, UintTy};
   2 use rustc_data_structures::base_n;
   3 use rustc_data_structures::fx::{FxHashMap, FxHashSet};
   4 use rustc_hir as hir;
   5 use rustc_hir::def_id::{CrateNum, DefId};
   6 use rustc_hir::definitions::{DefPathData, DisambiguatedDefPathData};
   7 use rustc_middle::ty::print::{Print, Printer};
   8 use rustc_middle::ty::subst::{GenericArg, GenericArgKind, Subst};
   9 use rustc_middle::ty::{self, Instance, Ty, TyCtxt, TypeFoldable};
  10 use rustc_target::spec::abi::Abi;
  11
  12 use std::fmt::Write;
  13 use std::ops::Range;
  14
  15 pub(super) fn mangle(
  16     tcx: TyCtxt<'tcx>,
  17     instance: Instance<'tcx>,
  18     instantiating_crate: Option<CrateNum>,
  19 ) -> String {
  20     let def_id = instance.def_id();
  21     // FIXME(eddyb) this should ideally not be needed.
  22     let substs = tcx.normalize_erasing_regions(ty::ParamEnv::reveal_all(), instance.substs);
  23
  24     let prefix = "_R";
  25     let mut cx = SymbolMangler {
  26         tcx,
  27         compress: Some(Box::new(CompressionCaches {
  28             start_offset: prefix.len(),
  29
  30             paths: FxHashMap::default(),
  31             types: FxHashMap::default(),
  32             consts: FxHashMap::default(),
  33         })),
  34         binders: vec![],
  35         out: String::from(prefix),
  36     };
  37
  38     // Append `::{shim:...#0}` to shims that can coexist with a non-shim instance.
  39     let shim_kind = match instance.def {
  40         ty::InstanceDef::VtableShim(_) => Some("vtable"),
  41         ty::InstanceDef::ReifyShim(_) => Some("reify"),
  42
  43         _ => None,
  44     };
  45
  46     cx = if let Some(shim_kind) = shim_kind {
  47         cx.path_append_ns(|cx| cx.print_def_path(def_id, substs), 'S', 0, shim_kind).unwrap()
  48     } else {
  49         cx.print_def_path(def_id, substs).unwrap()
  50     };
  51     if let Some(instantiating_crate) = instantiating_crate {
  52         cx = cx.print_def_path(instantiating_crate.as_def_id(), &[]).unwrap();
  53     }
  54     cx.out
  55 }
  56
  57 struct CompressionCaches<'tcx> {
  58     // The length of the prefix in `out` (e.g. 2 for `_R`).
  59     start_offset: usize,
  60
  61     // The values are start positions in `out`, in bytes.
  62     paths: FxHashMap<(DefId, &'tcx [GenericArg<'tcx>]), usize>,
  63     types: FxHashMap<Ty<'tcx>, usize>,
  64     consts: FxHashMap<&'tcx ty::Const<'tcx>, usize>,
  65 }
  66
  67 struct BinderLevel {
  68     /// The range of distances from the root of what's
  69     /// being printed, to the lifetimes in a binder.
  70     /// Specifically, a `BrAnon(i)` lifetime has depth
  71     /// `lifetime_depths.start + i`, going away from the
  72     /// the root and towards its use site, as `i` increases.
  73     /// This is used to flatten rustc's pairing of `BrAnon`
  74     /// (intra-binder disambiguation) with a `DebruijnIndex`
  75     /// (binder addressing), to "true" de Bruijn indices,
  76     /// by subtracting the depth of a certain lifetime, from
  77     /// the innermost depth at its use site.
  78     lifetime_depths: Range<u32>,
  79 }
  80
  81 struct SymbolMangler<'tcx> {
  82     tcx: TyCtxt<'tcx>,
  83     compress: Option<Box<CompressionCaches<'tcx>>>,
  84     binders: Vec<BinderLevel>,
  85     out: String,
  86 }
  87
  88 impl SymbolMangler<'tcx> {
  89     fn push(&mut self, s: &str) {
  90         self.out.push_str(s);
  91     }
  92
  93     /// Push a `_`-terminated base 62 integer, using the format
  94     /// specified in the RFC as `<base-62-number>`, that is:
  95     /// * `x = 0` is encoded as just the `"_"` terminator
  96     /// * `x > 0` is encoded as `x - 1` in base 62, followed by `"_"`,
  97     ///   e.g. `1` becomes `"0_"`, `62` becomes `"Z_"`, etc.
  98     fn push_integer_62(&mut self, x: u64) {
  99         if let Some(x) = x.checked_sub(1) {
 100             base_n::push_str(x as u128, 62, &mut self.out);
 101         }
 102         self.push("_");
 103     }
 104
 105     /// Push a `tag`-prefixed base 62 integer, when larger than `0`, that is:
 106     /// * `x = 0` is encoded as `""` (nothing)
 107     /// * `x > 0` is encoded as the `tag` followed by `push_integer_62(x - 1)`
 108     ///   e.g. `1` becomes `tag + "_"`, `2` becomes `tag + "0_"`, etc.
 109     fn push_opt_integer_62(&mut self, tag: &str, x: u64) {
 110         if let Some(x) = x.checked_sub(1) {
 111             self.push(tag);
 112             self.push_integer_62(x);
 113         }
 114     }
 115
 116     fn push_disambiguator(&mut self, dis: u64) {
 117         self.push_opt_integer_62("s", dis);
 118     }
 119
 120     fn push_ident(&mut self, ident: &str) {
 121         let mut use_punycode = false;
 122         for b in ident.bytes() {
 123             match b {
 124                 b'_' | b'a'..=b'z' | b'A'..=b'Z' | b'0'..=b'9' => {}
 125                 0x80..=0xff => use_punycode = true,
 126                 _ => bug!("symbol_names: bad byte {} in ident {:?}", b, ident),
 127             }
 128         }
 129
 130         let punycode_string;
 131         let ident = if use_punycode {
 132             self.push("u");
 133
 134             // FIXME(eddyb) we should probably roll our own punycode implementation.
 135             let mut punycode_bytes = match ::punycode::encode(ident) {
 136                 Ok(s) => s.into_bytes(),
 137                 Err(()) => bug!("symbol_names: punycode encoding failed for ident {:?}", ident),
 138             };
 139
 140             // Replace `-` with `_`.
 141             if let Some(c) = punycode_bytes.iter_mut().rfind(|&&mut c| c == b'-') {
 142                 *c = b'_';
 143             }
 144
 145             // FIXME(eddyb) avoid rechecking UTF-8 validity.
 146             punycode_string = String::from_utf8(punycode_bytes).unwrap();
 147             &punycode_string
 148         } else {
 149             ident
 150         };
 151
 152         let _ = write!(self.out, "{}", ident.len());
 153
 154         // Write a separating `_` if necessary (leading digit or `_`).
 155         match ident.chars().next() {
 156             Some('_' | '0'..='9') => {
 157                 self.push("_");
 158             }
 159             _ => {}
 160         }
 161
 162         self.push(ident);
 163     }
 164
 165     fn path_append_ns(
 166         mut self,
 167         print_prefix: impl FnOnce(Self) -> Result<Self, !>,
 168         ns: char,
 169         disambiguator: u64,
 170         name: &str,
 171     ) -> Result<Self, !> {
 172         self.push("N");
 173         self.out.push(ns);
 174         self = print_prefix(self)?;
 175         self.push_disambiguator(disambiguator as u64);
 176         self.push_ident(name);
 177         Ok(self)
 178     }
 179
 180     fn print_backref(mut self, i: usize) -> Result<Self, !> {
 181         self.push("B");
 182         self.push_integer_62((i - self.compress.as_ref().unwrap().start_offset) as u64);
 183         Ok(self)
 184     }
 185
 186     fn in_binder<T>(
 187         mut self,
 188         value: &ty::Binder<T>,
 189         print_value: impl FnOnce(Self, &T) -> Result<Self, !>,
 190     ) -> Result<Self, !>
 191     where
 192         T: TypeFoldable<'tcx>,
 193     {
 194         let regions = if value.has_late_bound_regions() {
 195             self.tcx.collect_referenced_late_bound_regions(value)
 196         } else {
 197             FxHashSet::default()
 198         };
 199
 200         let mut lifetime_depths =
 201             self.binders.last().map(|b| b.lifetime_depths.end).map_or(0..0, |i| i..i);
 202
 203         let lifetimes = regions
 204             .into_iter()
 205             .map(|br| {
 206                 match br {
 207                     ty::BrAnon(i) => {
 208                         // FIXME(eddyb) for some reason, `anonymize_late_bound_regions` starts at `1`.
 209                         assert_ne!(i, 0);
 210                         i - 1
 211                     }
 212                     _ => bug!("symbol_names: non-anonymized region `{:?}` in `{:?}`", br, value),
 213                 }
 214             })
 215             .max()
 216             .map_or(0, |max| max + 1);
 217
 218         self.push_opt_integer_62("G", lifetimes as u64);
 219         lifetime_depths.end += lifetimes;
 220
 221         self.binders.push(BinderLevel { lifetime_depths });
 222         self = print_value(self, value.skip_binder())?;
 223         self.binders.pop();
 224
 225         Ok(self)
 226     }
 227 }
 228
 229 impl Printer<'tcx> for SymbolMangler<'tcx> {
 230     type Error = !;
 231
 232     type Path = Self;
 233     type Region = Self;
 234     type Type = Self;
 235     type DynExistential = Self;
 236     type Const = Self;
 237
 238     fn tcx(&self) -> TyCtxt<'tcx> {
 239         self.tcx
 240     }
 241
 242     fn print_def_path(
 243         mut self,
 244         def_id: DefId,
 245         substs: &'tcx [GenericArg<'tcx>],
 246     ) -> Result<Self::Path, Self::Error> {
 247         if let Some(&i) = self.compress.as_ref().and_then(|c| c.paths.get(&(def_id, substs))) {
 248             return self.print_backref(i);
 249         }
 250         let start = self.out.len();
 251
 252         self = self.default_print_def_path(def_id, substs)?;
 253
 254         // Only cache paths that do not refer to an enclosing
 255         // binder (which would change depending on context).
 256         if !substs.iter().any(|k| k.has_escaping_bound_vars()) {
 257             if let Some(c) = &mut self.compress {
 258                 c.paths.insert((def_id, substs), start);
 259             }
 260         }
 261         Ok(self)
 262     }
 263
 264     fn print_impl_path(
 265         self,
 266         impl_def_id: DefId,
 267         substs: &'tcx [GenericArg<'tcx>],
 268         mut self_ty: Ty<'tcx>,
 269         mut impl_trait_ref: Option<ty::TraitRef<'tcx>>,
 270     ) -> Result<Self::Path, Self::Error> {
 271         let key = self.tcx.def_key(impl_def_id);
 272         let parent_def_id = DefId { index: key.parent.unwrap(), ..impl_def_id };
 273
 274         let mut param_env = self.tcx.param_env(impl_def_id).with_reveal_all();
 275         if !substs.is_empty() {
 276             param_env = param_env.subst(self.tcx, substs);
 277         }
 278
 279         match &mut impl_trait_ref {
 280             Some(impl_trait_ref) => {
 281                 assert_eq!(impl_trait_ref.self_ty(), self_ty);
 282                 *impl_trait_ref = self.tcx.normalize_erasing_regions(param_env, *impl_trait_ref);
 283                 self_ty = impl_trait_ref.self_ty();
 284             }
 285             None => {
 286                 self_ty = self.tcx.normalize_erasing_regions(param_env, self_ty);
 287             }
 288         }
 289
 290         self.path_append_impl(
 291             |cx| cx.print_def_path(parent_def_id, &[]),
 292             &key.disambiguated_data,
 293             self_ty,
 294             impl_trait_ref,
 295         )
 296     }
 297
 298     fn print_region(mut self, region: ty::Region<'_>) -> Result<Self::Region, Self::Error> {
 299         let i = match *region {
 300             // Erased lifetimes use the index 0, for a
 301             // shorter mangling of `L_`.
 302             ty::ReErased => 0,
 303
 304             // Late-bound lifetimes use indices starting at 1,
 305             // see `BinderLevel` for more details.
 306             ty::ReLateBound(debruijn, ty::BrAnon(i)) => {
 307                 // FIXME(eddyb) for some reason, `anonymize_late_bound_regions` starts at `1`.
 308                 assert_ne!(i, 0);
 309                 let i = i - 1;
 310
 311                 let binder = &self.binders[self.binders.len() - 1 - debruijn.index()];
 312                 let depth = binder.lifetime_depths.start + i;
 313
 314                 1 + (self.binders.last().unwrap().lifetime_depths.end - 1 - depth)
 315             }
 316
 317             _ => bug!("symbol_names: non-erased region `{:?}`", region),
 318         };
 319         self.push("L");
 320         self.push_integer_62(i as u64);
 321         Ok(self)
 322     }
 323
 324     fn print_type(mut self, ty: Ty<'tcx>) -> Result<Self::Type, Self::Error> {
 325         // Basic types, never cached (single-character).
 326         let basic_type = match ty.kind {
 327             ty::Bool => "b",
 328             ty::Char => "c",
 329             ty::Str => "e",
 330             ty::Tuple(_) if ty.is_unit() => "u",
 331             ty::Int(IntTy::I8) => "a",
 332             ty::Int(IntTy::I16) => "s",
 333             ty::Int(IntTy::I32) => "l",
 334             ty::Int(IntTy::I64) => "x",
 335             ty::Int(IntTy::I128) => "n",
 336             ty::Int(IntTy::Isize) => "i",
 337             ty::Uint(UintTy::U8) => "h",
 338             ty::Uint(UintTy::U16) => "t",
 339             ty::Uint(UintTy::U32) => "m",
 340             ty::Uint(UintTy::U64) => "y",
 341             ty::Uint(UintTy::U128) => "o",
 342             ty::Uint(UintTy::Usize) => "j",
 343             ty::Float(FloatTy::F32) => "f",
 344             ty::Float(FloatTy::F64) => "d",
 345             ty::Never => "z",
 346
 347             // Placeholders (should be demangled as `_`).
 348             ty::Param(_) | ty::Bound(..) | ty::Placeholder(_) | ty::Infer(_) | ty::Error => "p",
 349
 350             _ => "",
 351         };
 352         if !basic_type.is_empty() {
 353             self.push(basic_type);
 354             return Ok(self);
 355         }
 356
 357         if let Some(&i) = self.compress.as_ref().and_then(|c| c.types.get(&ty)) {
 358             return self.print_backref(i);
 359         }
 360         let start = self.out.len();
 361
 362         match ty.kind {
 363             // Basic types, handled above.
 364             ty::Bool | ty::Char | ty::Str | ty::Int(_) | ty::Uint(_) | ty::Float(_) | ty::Never => {
 365                 unreachable!()
 366             }
 367             ty::Tuple(_) if ty.is_unit() => unreachable!(),
 368
 369             // Placeholders, also handled as part of basic types.
 370             ty::Param(_) | ty::Bound(..) | ty::Placeholder(_) | ty::Infer(_) | ty::Error => {
 371                 unreachable!()
 372             }
 373
 374             ty::Ref(r, ty, mutbl) => {
 375                 self.push(match mutbl {
 376                     hir::Mutability::Not => "R",
 377                     hir::Mutability::Mut => "Q",
 378                 });
 379                 if *r != ty::ReErased {
 380                     self = r.print(self)?;
 381                 }
 382                 self = ty.print(self)?;
 383             }
 384
 385             ty::RawPtr(mt) => {
 386                 self.push(match mt.mutbl {
 387                     hir::Mutability::Not => "P",
 388                     hir::Mutability::Mut => "O",
 389                 });
 390                 self = mt.ty.print(self)?;
 391             }
 392
 393             ty::Array(ty, len) => {
 394                 self.push("A");
 395                 self = ty.print(self)?;
 396                 self = self.print_const(len)?;
 397             }
 398             ty::Slice(ty) => {
 399                 self.push("S");
 400                 self = ty.print(self)?;
 401             }
 402
 403             ty::Tuple(tys) => {
 404                 self.push("T");
 405                 for ty in tys.iter().map(|k| k.expect_ty()) {
 406                     self = ty.print(self)?;
 407                 }
 408                 self.push("E");
 409             }
 410
 411             // Mangle all nominal types as paths.
 412             ty::Adt(&ty::AdtDef { did: def_id, .. }, substs)
 413             | ty::FnDef(def_id, substs)
 414             | ty::Opaque(def_id, substs)
 415             | ty::Projection(ty::ProjectionTy { item_def_id: def_id, substs })
 416             | ty::UnnormalizedProjection(ty::ProjectionTy { item_def_id: def_id, substs })
 417             | ty::Closure(def_id, substs)
 418             | ty::Generator(def_id, substs, _) => {
 419                 self = self.print_def_path(def_id, substs)?;
 420             }
 421             ty::Foreign(def_id) => {
 422                 self = self.print_def_path(def_id, &[])?;
 423             }
 424
 425             ty::FnPtr(sig) => {
 426                 self.push("F");
 427                 self = self.in_binder(&sig, |mut cx, sig| {
 428                     if sig.unsafety == hir::Unsafety::Unsafe {
 429                         cx.push("U");
 430                     }
 431                     match sig.abi {
 432                         Abi::Rust => {}
 433                         Abi::C => cx.push("KC"),
 434                         abi => {
 435                             cx.push("K");
 436                             let name = abi.name();
 437                             if name.contains('-') {
 438                                 cx.push_ident(&name.replace('-', "_"));
 439                             } else {
 440                                 cx.push_ident(name);
 441                             }
 442                         }
 443                     }
 444                     for &ty in sig.inputs() {
 445                         cx = ty.print(cx)?;
 446                     }
 447                     if sig.c_variadic {
 448                         cx.push("v");
 449                     }
 450                     cx.push("E");
 451                     sig.output().print(cx)
 452                 })?;
 453             }
 454
 455             ty::Dynamic(predicates, r) => {
 456                 self.push("D");
 457                 self = self.in_binder(&predicates, |cx, predicates| {
 458                     cx.print_dyn_existential(predicates)
 459                 })?;
 460                 self = r.print(self)?;
 461             }
 462
 463             ty::GeneratorWitness(_) => bug!("symbol_names: unexpected `GeneratorWitness`"),
 464         }
 465
 466         // Only cache types that do not refer to an enclosing
 467         // binder (which would change depending on context).
 468         if !ty.has_escaping_bound_vars() {
 469             if let Some(c) = &mut self.compress {
 470                 c.types.insert(ty, start);
 471             }
 472         }
 473         Ok(self)
 474     }
 475
 476     fn print_dyn_existential(
 477         mut self,
 478         predicates: &'tcx ty::List<ty::ExistentialPredicate<'tcx>>,
 479     ) -> Result<Self::DynExistential, Self::Error> {
 480         for predicate in predicates {
 481             match *predicate {
 482                 ty::ExistentialPredicate::Trait(trait_ref) => {
 483                     // Use a type that can't appear in defaults of type parameters.
 484                     let dummy_self = self.tcx.mk_ty_infer(ty::FreshTy(0));
 485                     let trait_ref = trait_ref.with_self_ty(self.tcx, dummy_self);
 486                     self = self.print_def_path(trait_ref.def_id, trait_ref.substs)?;
 487                 }
 488                 ty::ExistentialPredicate::Projection(projection) => {
 489                     let name = self.tcx.associated_item(projection.item_def_id).ident;
 490                     self.push("p");
 491                     self.push_ident(&name.as_str());
 492                     self = projection.ty.print(self)?;
 493                 }
 494                 ty::ExistentialPredicate::AutoTrait(def_id) => {
 495                     self = self.print_def_path(def_id, &[])?;
 496                 }
 497             }
 498         }
 499         self.push("E");
 500         Ok(self)
 501     }
 502
 503     fn print_const(mut self, ct: &'tcx ty::Const<'tcx>) -> Result<Self::Const, Self::Error> {
 504         if let Some(&i) = self.compress.as_ref().and_then(|c| c.consts.get(&ct)) {
 505             return self.print_backref(i);
 506         }
 507         let start = self.out.len();
 508
 509         match ct.ty.kind {
 510             ty::Uint(_) => {}
 511             _ => {
 512                 bug!("symbol_names: unsupported constant of type `{}` ({:?})", ct.ty, ct);
 513             }
 514         }
 515         self = ct.ty.print(self)?;
 516
 517         if let Some(bits) = ct.try_eval_bits(self.tcx, ty::ParamEnv::reveal_all(), ct.ty) {
 518             let _ = write!(self.out, "{:x}_", bits);
 519         } else {
 520             // NOTE(eddyb) despite having the path, we need to
 521             // encode a placeholder, as the path could refer
 522             // back to e.g. an `impl` using the constant.
 523             self.push("p");
 524         }
 525
 526         // Only cache consts that do not refer to an enclosing
 527         // binder (which would change depending on context).
 528         if !ct.has_escaping_bound_vars() {
 529             if let Some(c) = &mut self.compress {
 530                 c.consts.insert(ct, start);
 531             }
 532         }
 533         Ok(self)
 534     }
 535
 536     fn path_crate(mut self, cnum: CrateNum) -> Result<Self::Path, Self::Error> {
 537         self.push("C");
 538         let fingerprint = self.tcx.crate_disambiguator(cnum).to_fingerprint();
 539         self.push_disambiguator(fingerprint.to_smaller_hash());
 540         let name = self.tcx.original_crate_name(cnum).as_str();
 541         self.push_ident(&name);
 542         Ok(self)
 543     }
 544     fn path_qualified(
 545         mut self,
 546         self_ty: Ty<'tcx>,
 547         trait_ref: Option<ty::TraitRef<'tcx>>,
 548     ) -> Result<Self::Path, Self::Error> {
 549         assert!(trait_ref.is_some());
 550         let trait_ref = trait_ref.unwrap();
 551
 552         self.push("Y");
 553         self = self_ty.print(self)?;
 554         self.print_def_path(trait_ref.def_id, trait_ref.substs)
 555     }
 556
 557     fn path_append_impl(
 558         mut self,
 559         print_prefix: impl FnOnce(Self) -> Result<Self::Path, Self::Error>,
 560         disambiguated_data: &DisambiguatedDefPathData,
 561         self_ty: Ty<'tcx>,
 562         trait_ref: Option<ty::TraitRef<'tcx>>,
 563     ) -> Result<Self::Path, Self::Error> {
 564         self.push(match trait_ref {
 565             Some(_) => "X",
 566             None => "M",
 567         });
 568         self.push_disambiguator(disambiguated_data.disambiguator as u64);
 569         self = print_prefix(self)?;
 570         self = self_ty.print(self)?;
 571         if let Some(trait_ref) = trait_ref {
 572             self = self.print_def_path(trait_ref.def_id, trait_ref.substs)?;
 573         }
 574         Ok(self)
 575     }
 576     fn path_append(
 577         self,
 578         print_prefix: impl FnOnce(Self) -> Result<Self::Path, Self::Error>,
 579         disambiguated_data: &DisambiguatedDefPathData,
 580     ) -> Result<Self::Path, Self::Error> {
 581         let ns = match disambiguated_data.data {
 582             // Uppercase categories are more stable than lowercase ones.
 583             DefPathData::TypeNs(_) => 't',
 584             DefPathData::ValueNs(_) => 'v',
 585             DefPathData::ClosureExpr => 'C',
 586             DefPathData::Ctor => 'c',
 587             DefPathData::AnonConst => 'k',
 588             DefPathData::ImplTrait => 'i',
 589
 590             // These should never show up as `path_append` arguments.
 591             DefPathData::CrateRoot
 592             | DefPathData::Misc
 593             | DefPathData::Impl
 594             | DefPathData::MacroNs(_)
 595             | DefPathData::LifetimeNs(_) => {
 596                 bug!("symbol_names: unexpected DefPathData: {:?}", disambiguated_data.data)
 597             }
 598         };
 599
 600         let name = disambiguated_data.data.get_opt_name().map(|s| s.as_str());
 601
 602         self.path_append_ns(
 603             print_prefix,
 604             ns,
 605             disambiguated_data.disambiguator as u64,
 606             name.as_ref().map_or("", |s| &s[..]),
 607         )
 608     }
 609     fn path_generic_args(
 610         mut self,
 611         print_prefix: impl FnOnce(Self) -> Result<Self::Path, Self::Error>,
 612         args: &[GenericArg<'tcx>],
 613     ) -> Result<Self::Path, Self::Error> {
 614         // Don't print any regions if they're all erased.
 615         let print_regions = args.iter().any(|arg| match arg.unpack() {
 616             GenericArgKind::Lifetime(r) => *r != ty::ReErased,
 617             _ => false,
 618         });
 619         let args = args.iter().cloned().filter(|arg| match arg.unpack() {
 620             GenericArgKind::Lifetime(_) => print_regions,
 621             _ => true,
 622         });
 623
 624         if args.clone().next().is_none() {
 625             return print_prefix(self);
 626         }
 627
 628         self.push("I");
 629         self = print_prefix(self)?;
 630         for arg in args {
 631             match arg.unpack() {
 632                 GenericArgKind::Lifetime(lt) => {
 633                     self = lt.print(self)?;
 634                 }
 635                 GenericArgKind::Type(ty) => {
 636                     self = ty.print(self)?;
 637                 }
 638                 GenericArgKind::Const(c) => {
 639                     self.push("K");
 640                     // FIXME(const_generics) implement `ty::print::Print` on `ty::Const`.
 641                     // self = c.print(self)?;
 642                     self = self.print_const(c)?;
 643                 }
 644             }
 645         }
 646         self.push("E");
 647
 648         Ok(self)
 649     }
 650 }