OpenE2K/rust
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

rustc: Typecheck dereference operations on safe references.

Browse Source 
They require unsafe blocks for now. This will be removed once they typecheck properly.
This commit is contained in:
Patrick Walton 2012-03-08 15:07:35 -08:00
parent 57596cbe53
commit 8047c0cd68
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/rustc/middle/typeck.rs
View File

@ -2170,6 +2170,13 @@ 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);
}
_ {
tcx.sess.span_err(expr.span,
#fmt("Type %s cannot be dereferenced",