---

yaml
---
r: 13172
b: refs/heads/master
c: 43eb5f0
h: refs/heads/master
v: v3

Author: lkuper

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 9a89a7503d4451efe9f74a77bfa2125c5bc31d06
+refs/heads/master: 43eb5f0a2e9fb52e154ac9a463061bb673431f19
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
 refs/heads/try: 2898dcc5d97da9427ac367542382b6239d9c0bbf

trunk/src/test/compile-fail/regions-fn-subtyping.rs

@@ -0,0 +1,21 @@
+// Issue #2263.
+
+// Here, `f` is a function that takes a pointer `x` and a function
+// `g`, where `g` requires its argument `y` to be in the same region
+// that `x` is in.
+fn has_same_region(f: fn(x: &a.int, g: fn(y: &a.int))) {
+    // Somewhat counterintuitively, this fails because, in
+    // `wants_two_regions`, the `g` argument needs to be able to
+    // accept any region.  That is, the type that `has_same_region`
+    // expects is *not* a subtype of the type that `wants_two_regions`
+    // expects.
+    wants_two_regions(f); //! ERROR mismatched types
+}
+
+fn wants_two_regions(_f: fn(x: &int, g: fn(y: &int))) {
+}
+
+fn main() {
+}
+
+

trunk/src/test/run-pass/regions-fn-subtyping-2.rs

@@ -0,0 +1,20 @@
+// xfail-test
+
+// Issue #2263.
+
+// Here, `f` is a function that takes a pointer `x` and a function
+// `g`, where `g` requires its argument `y` to be in the same region
+// that `x` is in.
+fn has_same_region(f: fn(x: &a.int, g: fn(y: &a.int))) {
+    // `f` should be the type that `wants_same_region` wants, but
+    // right now the compiler complains that it isn't.
+    wants_same_region(f);
+}
+
+fn wants_same_region(_f: fn(x: &b.int, g: fn(y: &b.int))) { 
+}
+
+fn main() {
+}
+
+