---

yaml
---
r: 3526
b: refs/heads/master
c: d863cdb
h: refs/heads/master
v: v3

Author: marijnh

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 432e5e9f7f0704a6a90071b5ac3ae72fde3d2b1e
+refs/heads/master: d863cdb98fa69e6afb46d87eae212d50d6a63b26

trunk/src/test/run-pass/newtype-polymorphic.rs

@@ -0,0 +1,16 @@
+tag myvec[X] = vec[X];
+
+fn myvec_deref[X](&myvec[X] mv) -> vec[X] {
+    ret *mv;
+}
+
+fn myvec_elt[X](&myvec[X] mv) -> X {
+    ret mv.(0);
+}
+
+fn main() {
+    auto mv = myvec([1, 2, 3]);
+    assert(myvec_deref(mv).(1) == 2);
+    assert(myvec_elt(mv) == 1);
+    assert(mv.(2) == 3);
+}

trunk/src/test/run-pass/newtype.rs

@@ -0,0 +1,10 @@
+tag mytype = rec(fn (&mytype i) -> int compute, int val);
+
+fn compute(&mytype i) -> int {
+    ret i.val + 20;
+}
+
+fn main() {
+    auto myval = mytype(rec(compute=compute, val=30));
+    assert(myval.compute(myval) == 50);
+}