]> git.lizzy.rs Git - rust.git/blob - src/librustc/middle/cstore.rs
rustc: always include elidable lifetimes in HIR types.
[rust.git] / src / librustc / middle / cstore.rs
1 // Copyright 2015 The Rust Project Developers. See the COPYRIGHT
2 // file at the top-level directory of this distribution and at
3 // http://rust-lang.org/COPYRIGHT.
4 //
5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8 // option. This file may not be copied, modified, or distributed
9 // except according to those terms.
10
11 // Copyright 2015 The Rust Project Developers. See the COPYRIGHT
12 // file at the top-level directory of this distribution and at
13 // http://rust-lang.org/COPYRIGHT.
14 //
15 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
16 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
17 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
18 // option. This file may not be copied, modified, or distributed
19 // except according to those terms.
20
21 // the rustc crate store interface. This also includes types that
22 // are *mostly* used as a part of that interface, but these should
23 // probably get a better home if someone can find one.
24
25 use hir::def::{self, Def};
26 use hir::def_id::{CrateNum, DefId, DefIndex};
27 use hir::map as hir_map;
28 use hir::map::definitions::{Definitions, DefKey, DisambiguatedDefPathData};
29 use hir::svh::Svh;
30 use middle::lang_items;
31 use ty::{self, Ty, TyCtxt};
32 use mir::Mir;
33 use session::Session;
34 use session::search_paths::PathKind;
35 use util::nodemap::{NodeSet, DefIdMap};
36
37 use std::collections::BTreeMap;
38 use std::path::PathBuf;
39 use std::rc::Rc;
40 use syntax::ast;
41 use syntax::attr;
42 use syntax::ext::base::SyntaxExtension;
43 use syntax::symbol::Symbol;
44 use syntax_pos::Span;
45 use rustc_back::target::Target;
46 use hir;
47 use rustc_back::PanicStrategy;
48
49 pub use self::NativeLibraryKind::{NativeStatic, NativeFramework, NativeUnknown};
50
51 // lonely orphan structs and enums looking for a better home
52
53 #[derive(Clone, Debug)]
54 pub struct LinkMeta {
55     pub crate_name: Symbol,
56     pub crate_hash: Svh,
57 }
58
59 // Where a crate came from on the local filesystem. One of these three options
60 // must be non-None.
61 #[derive(PartialEq, Clone, Debug)]
62 pub struct CrateSource {
63     pub dylib: Option<(PathBuf, PathKind)>,
64     pub rlib: Option<(PathBuf, PathKind)>,
65     pub rmeta: Option<(PathBuf, PathKind)>,
66 }
67
68 #[derive(RustcEncodable, RustcDecodable, Copy, Clone, Ord, PartialOrd, Eq, PartialEq, Debug)]
69 pub enum DepKind {
70     /// A dependency that is only used for its macros, none of which are visible from other crates.
71     /// These are included in the metadata only as placeholders and are ignored when decoding.
72     UnexportedMacrosOnly,
73     /// A dependency that is only used for its macros.
74     MacrosOnly,
75     /// A dependency that is always injected into the dependency list and so
76     /// doesn't need to be linked to an rlib, e.g. the injected allocator.
77     Implicit,
78     /// A dependency that is required by an rlib version of this crate.
79     /// Ordinary `extern crate`s result in `Explicit` dependencies.
80     Explicit,
81 }
82
83 impl DepKind {
84     pub fn macros_only(self) -> bool {
85         match self {
86             DepKind::UnexportedMacrosOnly | DepKind::MacrosOnly => true,
87             DepKind::Implicit | DepKind::Explicit => false,
88         }
89     }
90 }
91
92 #[derive(PartialEq, Clone, Debug)]
93 pub enum LibSource {
94     Some(PathBuf),
95     MetadataOnly,
96     None,
97 }
98
99 impl LibSource {
100     pub fn is_some(&self) -> bool {
101         if let LibSource::Some(_) = *self {
102             true
103         } else {
104             false
105         }
106     }
107
108     pub fn option(&self) -> Option<PathBuf> {
109         match *self {
110             LibSource::Some(ref p) => Some(p.clone()),
111             LibSource::MetadataOnly | LibSource::None => None,
112         }
113     }
114 }
115
116 #[derive(Copy, Debug, PartialEq, Clone, RustcEncodable, RustcDecodable)]
117 pub enum LinkagePreference {
118     RequireDynamic,
119     RequireStatic,
120 }
121
122 #[derive(Copy, Clone, PartialEq, Eq, PartialOrd, Ord, Hash, RustcEncodable, RustcDecodable)]
123 pub enum NativeLibraryKind {
124     NativeStatic,    // native static library (.a archive)
125     NativeFramework, // OSX-specific
126     NativeUnknown,   // default way to specify a dynamic library
127 }
128
129 #[derive(Clone, Hash, RustcEncodable, RustcDecodable)]
130 pub struct NativeLibrary {
131     pub kind: NativeLibraryKind,
132     pub name: Symbol,
133     pub cfg: Option<ast::MetaItem>,
134     pub foreign_items: Vec<DefIndex>,
135 }
136
137 pub enum LoadedMacro {
138     MacroRules(ast::MacroDef),
139     ProcMacro(Rc<SyntaxExtension>),
140 }
141
142 #[derive(Copy, Clone, Debug)]
143 pub struct ExternCrate {
144     /// def_id of an `extern crate` in the current crate that caused
145     /// this crate to be loaded; note that there could be multiple
146     /// such ids
147     pub def_id: DefId,
148
149     /// span of the extern crate that caused this to be loaded
150     pub span: Span,
151
152     /// If true, then this crate is the crate named by the extern
153     /// crate referenced above. If false, then this crate is a dep
154     /// of the crate.
155     pub direct: bool,
156
157     /// Number of links to reach the extern crate `def_id`
158     /// declaration; used to select the extern crate with the shortest
159     /// path
160     pub path_len: usize,
161 }
162
163 /// A store of Rust crates, through with their metadata
164 /// can be accessed.
165 pub trait CrateStore<'tcx> {
166     // item info
167     fn describe_def(&self, def: DefId) -> Option<Def>;
168     fn def_span(&self, sess: &Session, def: DefId) -> Span;
169     fn stability(&self, def: DefId) -> Option<attr::Stability>;
170     fn deprecation(&self, def: DefId) -> Option<attr::Deprecation>;
171     fn visibility(&self, def: DefId) -> ty::Visibility;
172     fn closure_kind(&self, def_id: DefId) -> ty::ClosureKind;
173     fn closure_ty<'a>(&self, tcx: TyCtxt<'a, 'tcx, 'tcx>, def_id: DefId)
174                       -> ty::ClosureTy<'tcx>;
175     fn item_variances(&self, def: DefId) -> Vec<ty::Variance>;
176     fn item_type<'a>(&self, tcx: TyCtxt<'a, 'tcx, 'tcx>, def: DefId)
177                      -> Ty<'tcx>;
178     fn visible_parent_map<'a>(&'a self) -> ::std::cell::RefMut<'a, DefIdMap<DefId>>;
179     fn item_predicates<'a>(&self, tcx: TyCtxt<'a, 'tcx, 'tcx>, def: DefId)
180                            -> ty::GenericPredicates<'tcx>;
181     fn item_super_predicates<'a>(&self, tcx: TyCtxt<'a, 'tcx, 'tcx>, def: DefId)
182                                  -> ty::GenericPredicates<'tcx>;
183     fn item_generics<'a>(&self, tcx: TyCtxt<'a, 'tcx, 'tcx>, def: DefId)
184                          -> ty::Generics<'tcx>;
185     fn item_generics_own_param_counts(&self, def: DefId) -> (usize, usize);
186     fn item_attrs(&self, def_id: DefId) -> Vec<ast::Attribute>;
187     fn trait_def<'a>(&self, tcx: TyCtxt<'a, 'tcx, 'tcx>, def: DefId)-> ty::TraitDef;
188     fn adt_def<'a>(&self, tcx: TyCtxt<'a, 'tcx, 'tcx>, def: DefId) -> &'tcx ty::AdtDef;
189     fn fn_arg_names(&self, did: DefId) -> Vec<ast::Name>;
190     fn inherent_implementations_for_type(&self, def_id: DefId) -> Vec<DefId>;
191
192     // trait info
193     fn implementations_of_trait(&self, filter: Option<DefId>) -> Vec<DefId>;
194
195     // impl info
196     fn associated_item_def_ids(&self, def_id: DefId) -> Vec<DefId>;
197     fn impl_trait_ref<'a>(&self, tcx: TyCtxt<'a, 'tcx, 'tcx>, def: DefId)
198                           -> Option<ty::TraitRef<'tcx>>;
199     fn impl_polarity(&self, def: DefId) -> hir::ImplPolarity;
200     fn custom_coerce_unsized_kind(&self, def: DefId)
201                                   -> Option<ty::adjustment::CustomCoerceUnsized>;
202     fn impl_parent(&self, impl_def_id: DefId) -> Option<DefId>;
203
204     // trait/impl-item info
205     fn trait_of_item(&self, def_id: DefId) -> Option<DefId>;
206     fn associated_item(&self, def: DefId) -> Option<ty::AssociatedItem>;
207
208     // flags
209     fn is_const_fn(&self, did: DefId) -> bool;
210     fn is_defaulted_trait(&self, did: DefId) -> bool;
211     fn is_default_impl(&self, impl_did: DefId) -> bool;
212     fn is_foreign_item(&self, did: DefId) -> bool;
213     fn is_dllimport_foreign_item(&self, def: DefId) -> bool;
214     fn is_statically_included_foreign_item(&self, def_id: DefId) -> bool;
215     fn is_exported_symbol(&self, def_id: DefId) -> bool;
216
217     // crate metadata
218     fn dylib_dependency_formats(&self, cnum: CrateNum)
219                                     -> Vec<(CrateNum, LinkagePreference)>;
220     fn dep_kind(&self, cnum: CrateNum) -> DepKind;
221     fn export_macros(&self, cnum: CrateNum);
222     fn lang_items(&self, cnum: CrateNum) -> Vec<(DefIndex, usize)>;
223     fn missing_lang_items(&self, cnum: CrateNum) -> Vec<lang_items::LangItem>;
224     fn is_staged_api(&self, cnum: CrateNum) -> bool;
225     fn is_allocator(&self, cnum: CrateNum) -> bool;
226     fn is_panic_runtime(&self, cnum: CrateNum) -> bool;
227     fn is_compiler_builtins(&self, cnum: CrateNum) -> bool;
228     fn panic_strategy(&self, cnum: CrateNum) -> PanicStrategy;
229     fn extern_crate(&self, cnum: CrateNum) -> Option<ExternCrate>;
230     /// The name of the crate as it is referred to in source code of the current
231     /// crate.
232     fn crate_name(&self, cnum: CrateNum) -> Symbol;
233     /// The name of the crate as it is stored in the crate's metadata.
234     fn original_crate_name(&self, cnum: CrateNum) -> Symbol;
235     fn crate_hash(&self, cnum: CrateNum) -> Svh;
236     fn crate_disambiguator(&self, cnum: CrateNum) -> Symbol;
237     fn plugin_registrar_fn(&self, cnum: CrateNum) -> Option<DefId>;
238     fn derive_registrar_fn(&self, cnum: CrateNum) -> Option<DefId>;
239     fn native_libraries(&self, cnum: CrateNum) -> Vec<NativeLibrary>;
240     fn exported_symbols(&self, cnum: CrateNum) -> Vec<DefId>;
241     fn is_no_builtins(&self, cnum: CrateNum) -> bool;
242
243     // resolve
244     fn retrace_path(&self,
245                     cnum: CrateNum,
246                     path_data: &[DisambiguatedDefPathData])
247                     -> Option<DefId>;
248     fn def_key(&self, def: DefId) -> DefKey;
249     fn def_path(&self, def: DefId) -> hir_map::DefPath;
250     fn struct_field_names(&self, def: DefId) -> Vec<ast::Name>;
251     fn item_children(&self, did: DefId) -> Vec<def::Export>;
252     fn load_macro(&self, did: DefId, sess: &Session) -> LoadedMacro;
253
254     // misc. metadata
255     fn maybe_get_item_body<'a>(&'tcx self, tcx: TyCtxt<'a, 'tcx, 'tcx>, def: DefId)
256                                -> Option<&'tcx hir::Body>;
257     fn item_body_nested_bodies(&self, def: DefId) -> BTreeMap<hir::BodyId, hir::Body>;
258     fn const_is_rvalue_promotable_to_static(&self, def: DefId) -> bool;
259
260     fn get_item_mir<'a>(&self, tcx: TyCtxt<'a, 'tcx, 'tcx>, def: DefId) -> Mir<'tcx>;
261     fn is_item_mir_available(&self, def: DefId) -> bool;
262
263     // This is basically a 1-based range of ints, which is a little
264     // silly - I may fix that.
265     fn crates(&self) -> Vec<CrateNum>;
266     fn used_libraries(&self) -> Vec<NativeLibrary>;
267     fn used_link_args(&self) -> Vec<String>;
268
269     // utility functions
270     fn metadata_filename(&self) -> &str;
271     fn metadata_section_name(&self, target: &Target) -> &str;
272     fn used_crates(&self, prefer: LinkagePreference) -> Vec<(CrateNum, LibSource)>;
273     fn used_crate_source(&self, cnum: CrateNum) -> CrateSource;
274     fn extern_mod_stmt_cnum(&self, emod_id: ast::NodeId) -> Option<CrateNum>;
275     fn encode_metadata<'a>(&self, tcx: TyCtxt<'a, 'tcx, 'tcx>,
276                            reexports: &def::ExportMap,
277                            link_meta: &LinkMeta,
278                            reachable: &NodeSet) -> Vec<u8>;
279     fn metadata_encoding_version(&self) -> &[u8];
280 }
281
282 // FIXME: find a better place for this?
283 pub fn validate_crate_name(sess: Option<&Session>, s: &str, sp: Option<Span>) {
284     let mut err_count = 0;
285     {
286         let mut say = |s: &str| {
287             match (sp, sess) {
288                 (_, None) => bug!("{}", s),
289                 (Some(sp), Some(sess)) => sess.span_err(sp, s),
290                 (None, Some(sess)) => sess.err(s),
291             }
292             err_count += 1;
293         };
294         if s.is_empty() {
295             say("crate name must not be empty");
296         }
297         for c in s.chars() {
298             if c.is_alphanumeric() { continue }
299             if c == '_'  { continue }
300             say(&format!("invalid character `{}` in crate name: `{}`", c, s));
301         }
302     }
303
304     if err_count > 0 {
305         sess.unwrap().abort_if_errors();
306     }
307 }
308
309 /// A dummy crate store that does not support any non-local crates,
310 /// for test purposes.
311 pub struct DummyCrateStore;
312 #[allow(unused_variables)]
313 impl<'tcx> CrateStore<'tcx> for DummyCrateStore {
314     // item info
315     fn describe_def(&self, def: DefId) -> Option<Def> { bug!("describe_def") }
316     fn def_span(&self, sess: &Session, def: DefId) -> Span { bug!("def_span") }
317     fn stability(&self, def: DefId) -> Option<attr::Stability> { bug!("stability") }
318     fn deprecation(&self, def: DefId) -> Option<attr::Deprecation> { bug!("deprecation") }
319     fn visibility(&self, def: DefId) -> ty::Visibility { bug!("visibility") }
320     fn closure_kind(&self, def_id: DefId) -> ty::ClosureKind { bug!("closure_kind") }
321     fn closure_ty<'a>(&self, tcx: TyCtxt<'a, 'tcx, 'tcx>, def_id: DefId)
322                       -> ty::ClosureTy<'tcx>  { bug!("closure_ty") }
323     fn item_variances(&self, def: DefId) -> Vec<ty::Variance> { bug!("item_variances") }
324     fn item_type<'a>(&self, tcx: TyCtxt<'a, 'tcx, 'tcx>, def: DefId)
325                      -> Ty<'tcx> { bug!("item_type") }
326     fn visible_parent_map<'a>(&'a self) -> ::std::cell::RefMut<'a, DefIdMap<DefId>> {
327         bug!("visible_parent_map")
328     }
329     fn item_predicates<'a>(&self, tcx: TyCtxt<'a, 'tcx, 'tcx>, def: DefId)
330                            -> ty::GenericPredicates<'tcx> { bug!("item_predicates") }
331     fn item_super_predicates<'a>(&self, tcx: TyCtxt<'a, 'tcx, 'tcx>, def: DefId)
332                                  -> ty::GenericPredicates<'tcx> { bug!("item_super_predicates") }
333     fn item_generics<'a>(&self, tcx: TyCtxt<'a, 'tcx, 'tcx>, def: DefId)
334                          -> ty::Generics<'tcx> { bug!("item_generics") }
335     fn item_generics_own_param_counts(&self, def: DefId) -> (usize, usize)
336         { bug!("item_generics_own_param_counts") }
337     fn item_attrs(&self, def_id: DefId) -> Vec<ast::Attribute> { bug!("item_attrs") }
338     fn trait_def<'a>(&self, tcx: TyCtxt<'a, 'tcx, 'tcx>, def: DefId)-> ty::TraitDef
339         { bug!("trait_def") }
340     fn adt_def<'a>(&self, tcx: TyCtxt<'a, 'tcx, 'tcx>, def: DefId) -> &'tcx ty::AdtDef
341         { bug!("adt_def") }
342     fn fn_arg_names(&self, did: DefId) -> Vec<ast::Name> { bug!("fn_arg_names") }
343     fn inherent_implementations_for_type(&self, def_id: DefId) -> Vec<DefId> { vec![] }
344
345     // trait info
346     fn implementations_of_trait(&self, filter: Option<DefId>) -> Vec<DefId> { vec![] }
347
348     // impl info
349     fn associated_item_def_ids(&self, def_id: DefId) -> Vec<DefId>
350         { bug!("associated_items") }
351     fn impl_trait_ref<'a>(&self, tcx: TyCtxt<'a, 'tcx, 'tcx>, def: DefId)
352                           -> Option<ty::TraitRef<'tcx>> { bug!("impl_trait_ref") }
353     fn impl_polarity(&self, def: DefId) -> hir::ImplPolarity { bug!("impl_polarity") }
354     fn custom_coerce_unsized_kind(&self, def: DefId)
355                                   -> Option<ty::adjustment::CustomCoerceUnsized>
356         { bug!("custom_coerce_unsized_kind") }
357     fn impl_parent(&self, def: DefId) -> Option<DefId> { bug!("impl_parent") }
358
359     // trait/impl-item info
360     fn trait_of_item(&self, def_id: DefId) -> Option<DefId> { bug!("trait_of_item") }
361     fn associated_item(&self, def: DefId) -> Option<ty::AssociatedItem> { bug!("associated_item") }
362
363     // flags
364     fn is_const_fn(&self, did: DefId) -> bool { bug!("is_const_fn") }
365     fn is_defaulted_trait(&self, did: DefId) -> bool { bug!("is_defaulted_trait") }
366     fn is_default_impl(&self, impl_did: DefId) -> bool { bug!("is_default_impl") }
367     fn is_foreign_item(&self, did: DefId) -> bool { bug!("is_foreign_item") }
368     fn is_dllimport_foreign_item(&self, id: DefId) -> bool { false }
369     fn is_statically_included_foreign_item(&self, def_id: DefId) -> bool { false }
370     fn is_exported_symbol(&self, def_id: DefId) -> bool { false }
371
372     // crate metadata
373     fn dylib_dependency_formats(&self, cnum: CrateNum)
374                                     -> Vec<(CrateNum, LinkagePreference)>
375         { bug!("dylib_dependency_formats") }
376     fn lang_items(&self, cnum: CrateNum) -> Vec<(DefIndex, usize)>
377         { bug!("lang_items") }
378     fn missing_lang_items(&self, cnum: CrateNum) -> Vec<lang_items::LangItem>
379         { bug!("missing_lang_items") }
380     fn is_staged_api(&self, cnum: CrateNum) -> bool { bug!("is_staged_api") }
381     fn dep_kind(&self, cnum: CrateNum) -> DepKind { bug!("is_explicitly_linked") }
382     fn export_macros(&self, cnum: CrateNum) { bug!("export_macros") }
383     fn is_allocator(&self, cnum: CrateNum) -> bool { bug!("is_allocator") }
384     fn is_panic_runtime(&self, cnum: CrateNum) -> bool { bug!("is_panic_runtime") }
385     fn is_compiler_builtins(&self, cnum: CrateNum) -> bool { bug!("is_compiler_builtins") }
386     fn panic_strategy(&self, cnum: CrateNum) -> PanicStrategy {
387         bug!("panic_strategy")
388     }
389     fn extern_crate(&self, cnum: CrateNum) -> Option<ExternCrate> { bug!("extern_crate") }
390     fn crate_name(&self, cnum: CrateNum) -> Symbol { bug!("crate_name") }
391     fn original_crate_name(&self, cnum: CrateNum) -> Symbol {
392         bug!("original_crate_name")
393     }
394     fn crate_hash(&self, cnum: CrateNum) -> Svh { bug!("crate_hash") }
395     fn crate_disambiguator(&self, cnum: CrateNum)
396                            -> Symbol { bug!("crate_disambiguator") }
397     fn plugin_registrar_fn(&self, cnum: CrateNum) -> Option<DefId>
398         { bug!("plugin_registrar_fn") }
399     fn derive_registrar_fn(&self, cnum: CrateNum) -> Option<DefId>
400         { bug!("derive_registrar_fn") }
401     fn native_libraries(&self, cnum: CrateNum) -> Vec<NativeLibrary>
402         { bug!("native_libraries") }
403     fn exported_symbols(&self, cnum: CrateNum) -> Vec<DefId> { bug!("exported_symbols") }
404     fn is_no_builtins(&self, cnum: CrateNum) -> bool { bug!("is_no_builtins") }
405
406     // resolve
407     fn retrace_path(&self,
408                     cnum: CrateNum,
409                     path_data: &[DisambiguatedDefPathData])
410                     -> Option<DefId> {
411         None
412     }
413
414     fn def_key(&self, def: DefId) -> DefKey { bug!("def_key") }
415     fn def_path(&self, def: DefId) -> hir_map::DefPath {
416         bug!("relative_def_path")
417     }
418     fn struct_field_names(&self, def: DefId) -> Vec<ast::Name> { bug!("struct_field_names") }
419     fn item_children(&self, did: DefId) -> Vec<def::Export> { bug!("item_children") }
420     fn load_macro(&self, did: DefId, sess: &Session) -> LoadedMacro { bug!("load_macro") }
421
422     // misc. metadata
423     fn maybe_get_item_body<'a>(&'tcx self, tcx: TyCtxt<'a, 'tcx, 'tcx>, def: DefId)
424                                -> Option<&'tcx hir::Body> {
425         bug!("maybe_get_item_body")
426     }
427     fn item_body_nested_bodies(&self, def: DefId) -> BTreeMap<hir::BodyId, hir::Body> {
428         bug!("item_body_nested_bodies")
429     }
430     fn const_is_rvalue_promotable_to_static(&self, def: DefId) -> bool {
431         bug!("const_is_rvalue_promotable_to_static")
432     }
433
434     fn get_item_mir<'a>(&self, tcx: TyCtxt<'a, 'tcx, 'tcx>, def: DefId)
435                         -> Mir<'tcx> { bug!("get_item_mir") }
436     fn is_item_mir_available(&self, def: DefId) -> bool {
437         bug!("is_item_mir_available")
438     }
439
440     // This is basically a 1-based range of ints, which is a little
441     // silly - I may fix that.
442     fn crates(&self) -> Vec<CrateNum> { vec![] }
443     fn used_libraries(&self) -> Vec<NativeLibrary> { vec![] }
444     fn used_link_args(&self) -> Vec<String> { vec![] }
445
446     // utility functions
447     fn metadata_filename(&self) -> &str { bug!("metadata_filename") }
448     fn metadata_section_name(&self, target: &Target) -> &str { bug!("metadata_section_name") }
449     fn used_crates(&self, prefer: LinkagePreference) -> Vec<(CrateNum, LibSource)>
450         { vec![] }
451     fn used_crate_source(&self, cnum: CrateNum) -> CrateSource { bug!("used_crate_source") }
452     fn extern_mod_stmt_cnum(&self, emod_id: ast::NodeId) -> Option<CrateNum> { None }
453     fn encode_metadata<'a>(&self, tcx: TyCtxt<'a, 'tcx, 'tcx>,
454                            reexports: &def::ExportMap,
455                            link_meta: &LinkMeta,
456                            reachable: &NodeSet) -> Vec<u8> { vec![] }
457     fn metadata_encoding_version(&self) -> &[u8] { bug!("metadata_encoding_version") }
458 }
459
460 pub trait CrateLoader {
461     fn process_item(&mut self, item: &ast::Item, defs: &Definitions);
462     fn postprocess(&mut self, krate: &ast::Crate);
463 }