librustc: Remove trans::reflect and the opaque and ty_visitor lang items.

Author: luqmana

src/doc/reference.md

@@ -2279,8 +2279,6 @@ These types help drive the compiler's analysis
   : The lifetime parameter should be considered invariant
 * `malloc`
   : Allocate memory on the managed heap.
-* `opaque`
-  : ___Needs filling in___
 * `owned_box`
   : ___Needs filling in___
 * `stack_exhausted`
@@ -2295,8 +2293,6 @@ These types help drive the compiler's analysis
   : The type parameter should be considered invariant
 * `ty_desc`
   : ___Needs filling in___
-* `ty_visitor`
-  : ___Needs filling in___
 
 > **Note:** This list is likely to become out of date. We should auto-generate
 > it from `librustc/middle/lang_items.rs`.

src/libcore/intrinsics.rs

@@ -65,11 +65,14 @@ pub struct TyDesc {
     pub name: &'static str,
 }
 
+#[cfg(stage0)]
 #[lang="opaque"]
 pub enum Opaque { }
 
+#[cfg(stage0)]
 pub type Disr = u64;
 
+#[cfg(stage0)]
 #[lang="ty_visitor"]
 pub trait TyVisitor {
     fn visit_bot(&mut self) -> bool;

src/librustc/middle/lang_items.rs

@@ -284,7 +284,6 @@ lets_do_this! {
     StartFnLangItem,                 "start",                   start_fn;
 
     TyDescStructLangItem,            "ty_desc",                 ty_desc;
-    TyVisitorTraitLangItem,          "ty_visitor",              ty_visitor;
     OpaqueStructLangItem,            "opaque",                  opaque;
 
     TypeIdLangItem,                  "type_id",                 type_id;

src/librustc/middle/trans/mod.rs

@@ -36,7 +36,6 @@ pub mod cabi_arm;
 pub mod cabi_mips;
 pub mod foreign;
 pub mod intrinsic;
-pub mod reflect;
 pub mod debuginfo;
 pub mod machine;
 pub mod adt;