---

yaml
---
r: 15455
b: refs/heads/try
c: 8c8db42
h: refs/heads/master
i:
  15453: d527ed4
  15451: a7239ef
  15447: eab6586
  15439: e5931f0
  15423: 08de5e2
v: v3

Author: brson

[refs]

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

branches/try/src/test/run-fail/issue-1763.rs

@@ -0,0 +1,14 @@
+// Issue #1763 - infer types correctly
+// error-pattern:explicit failure
+
+type actor<T> = {
+    unused: bool
+};
+
+fn act2<T>() -> actor<T> {
+    fail;
+}
+
+fn main() {
+    let a: actor<int> = act2();
+}