---

yaml
---
r: 11842
b: refs/heads/master
c: fd9c9ac
h: refs/heads/master
v: v3

Author: pcwalton

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 0cd72d24dcf39376a4c4f74520ae614d9fb90058
+refs/heads/master: fd9c9ac91210cfce32da8d7f38b74072bac4ae3b
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
 refs/heads/try: 2898dcc5d97da9427ac367542382b6239d9c0bbf

trunk/src/rustc/middle/typeck.rs

@@ -2337,13 +2337,7 @@ fn check_expr_with_unifier(fcx: @fn_ctxt, expr: @ast::expr, unify: unifier,
                 oper_t = inner.ty;
                 require_unsafe(tcx.sess, fcx.purity, expr.span);
               }
-              ty::ty_rptr(_, inner) {
-                // FIXME: This shouldn't be unsafe for now, but we enforce it
-                // for now to safeguard the language until we're properly
-                // typechecking regions.
-                oper_t = inner.ty;
-                require_unsafe(tcx.sess, fcx.purity, expr.span);
-              }
+              ty::ty_rptr(_, inner) { oper_t = inner.ty; }
               _ {
                   tcx.sess.span_err(expr.span,
                       #fmt("Type %s cannot be dereferenced",