---

yaml
---
r: 15745
b: refs/heads/try
c: a7e0eb3
h: refs/heads/master
i:
  15743: b40eacf
v: v3

Author: nikomatsakis

[refs]

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

branches/try/src/rustc/middle/ty.rs

@@ -1475,11 +1475,14 @@ fn is_instantiable(cx: ctxt, r_ty: t) -> bool {
 
           ty_box(mt) |
           ty_uniq(mt) |
-          ty_ptr(mt) |
           ty_rptr(_, mt) {
             be type_requires(cx, seen, r_ty, mt.ty);
           }
 
+          ty_ptr(mt) {
+            false           // unsafe ptrs can always be NULL
+          }
+
           ty_rec(fields) {
             vec::any(fields) {|field|
                 type_requires(cx, seen, r_ty, field.mt.ty)