---

yaml
---
r: 16095
b: refs/heads/try
c: ccc7651
h: refs/heads/master
i:
  16093: 299ca3d
  16091: 6548e5e
  16087: 74fa67c
  16079: 8c98f20
  16063: 810f4c8
v: v3

Author: catamorphism

[refs]

@@ -2,5 +2,5 @@
 refs/heads/master: 61b1875c16de39c166b0f4d54bba19f9c6777d1a
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
-refs/heads/try: 730e8e93103ee657bcaad55f32f0de52e83b19aa
+refs/heads/try: ccc7651b482167f61678c8630545a9f0e6b6ea91
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105

branches/try/src/rustc/middle/trans/base.rs

@@ -40,6 +40,7 @@ import link::{mangle_internal_name_by_type_only,
 import metadata::{csearch, cstore, encoder};
 import metadata::common::link_meta;
 import util::ppaux::{ty_to_str, ty_to_short_str};
+import syntax::diagnostic::expect;
 
 import common::*;
 import build::*;
@@ -2052,7 +2053,10 @@ fn monomorphic_fn(ccx: @crate_ctxt, fn_id: ast::def_id, real_substs: [ty::t],
     let tpt = ty::lookup_item_type(ccx.tcx, fn_id);
     let mut item_ty = tpt.ty;
 
-    let map_node = ccx.tcx.items.get(fn_id.node);
+    let map_node = session::expect(ccx.sess, ccx.tcx.items.find(fn_id.node),
+     {|| #fmt("While monomorphizing %?, couldn't find it in the item map \
+        (may have attempted to monomorphize an item defined in a different \
+        crate?)", fn_id)});
     // Get the path so that we can create a symbol
     let (pt, name, span) = alt map_node {
       ast_map::node_item(i, pt) {

branches/try/src/rustc/middle/trans/impl.rs

@@ -258,8 +258,13 @@ fn make_impl_vtable(ccx: @crate_ctxt, impl_id: ast::def_id, substs: [ty::t],
         if (*im.tps).len() > 0u || ty::type_has_self(fty) {
             C_null(T_ptr(T_nil()))
         } else {
-            let m_id = method_with_name(ccx, impl_id, im.ident);
+            let mut m_id = method_with_name(ccx, impl_id, im.ident);
             if has_tps {
+                // If the method is in another crate, need to make an inlined
+                // copy first
+                if m_id.crate != ast::local_crate {
+                    m_id = maybe_instantiate_inline(ccx, m_id);
+                }
                 monomorphic_fn(ccx, m_id, substs, some(vtables), none).val
             } else if m_id.crate == ast::local_crate {
                 get_item_val(ccx, m_id.node)

branches/try/src/rustc/middle/trans/reachable.rs

@@ -98,6 +98,7 @@ fn traverse_public_item(cx: ctx, item: @item) {
         for vec::each(ms) {|m|
             if tps.len() > 0u || m.tps.len() > 0u ||
                attr::find_inline_attr(m.attrs) != attr::ia_none {
+                cx.rmap.insert(m.id, ());
                 traverse_inline_body(cx, m.body);
             }
         }
@@ -141,9 +142,13 @@ fn traverse_inline_body(cx: ctx, body: blk) {
         }
         visit::visit_expr(e, cx, v);
     }
-    // Ignore nested items
-    fn traverse_item(_i: @item, _cx: ctx, _v: visit::vt<ctx>) {}
-    visit::visit_block(body, cx, visit::mk_vt(@{
+    // Don't ignore nested items: for example if a generic fn contains a
+    // generic impl (as in deque::create), we need to monomorphize the
+    // impl as well
+    fn traverse_item(i: @item, cx: ctx, _v: visit::vt<ctx>) {
+      traverse_public_item(cx, i);
+    }
+     visit::visit_block(body, cx, visit::mk_vt(@{
         visit_expr: traverse_expr,
         visit_item: traverse_item
         with *visit::default_visitor()

branches/try/src/test/run-pass/issue-2383.rs

@@ -0,0 +1,8 @@
+use std;
+import std::deque;
+import std::deque::t;
+
+fn main() {
+    let Q = deque::create();
+    Q.add_back(10);
+}