diff options
| author | Tim Chevalier <chevalier@alum.wellesley.edu> | 2011-09-16 13:03:26 -0700 |
|---|---|---|
| committer | Tim Chevalier <chevalier@alum.wellesley.edu> | 2011-09-16 13:06:31 -0700 |
| commit | 0d4b51d10d1f2e386ec4424a8319b8fabd96f97f (patch) | |
| tree | 186881a669a0690a657df7cf1c392a0fea252d60 | |
| parent | 1b2c5c4c9b8235885e70a3dd94dc3e5bee7c7ffd (diff) | |
| download | rust-0d4b51d10d1f2e386ec4424a8319b8fabd96f97f.tar.gz rust-0d4b51d10d1f2e386ec4424a8319b8fabd96f97f.zip | |
Add a returns_non_ty_var predicate
which just calls non_ty_var on the return type of t, assuming t is a function type.
| -rw-r--r-- | src/comp/middle/trans_common.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/comp/middle/trans_common.rs b/src/comp/middle/trans_common.rs index 32d0266c7e9..847504a3920 100644 --- a/src/comp/middle/trans_common.rs +++ b/src/comp/middle/trans_common.rs @@ -857,6 +857,10 @@ pure fn non_ty_var(cx: @crate_ctxt, t: ty::t) -> bool { } } +pure fn returns_non_ty_var(cx: @crate_ctxt, t: ty::t) -> bool { + non_ty_var(cx, ty::ty_fn_ret(cx.tcx, t)) +} + // // Local Variables: // mode: rust |