diff --git a/src/test/compile-fail/issue-2766-a.rs b/src/test/compile-fail/issue-2766-a.rs
new file mode 100644
index 0000000000000..ce24b4a6a521a
--- /dev/null
+++ b/src/test/compile-fail/issue-2766-a.rs
@@ -0,0 +1,21 @@
+mod stream {
+    enum stream<T: send> { send(T, server::stream<T>), }
+    mod server {
+        impl recv<T: send> for stream<T> {
+            fn recv() -> extern fn(+stream<T>) -> stream::stream<T> {
+              // resolve really should report just one error here.
+              // Change the test case when it changes.
+              fn recv(+pipe: stream<T>) -> stream::stream<T> { //~ ERROR attempt to use a type argument out of scope
+                //~^ ERROR use of undeclared type name
+                //~^^ ERROR attempt to use a type argument out of scope
+                //~^^^ ERROR use of undeclared type name
+                    option::unwrap(pipes::recv(pipe))
+                }
+                recv
+            }
+        }
+        type stream<T: send> = pipes::recv_packet<stream::stream<T>>;
+    }
+}
+
+fn main() {}