From 0d4b51d10d1f2e386ec4424a8319b8fabd96f97f Mon Sep 17 00:00:00 2001 From: Tim Chevalier Date: Fri, 16 Sep 2011 13:03:26 -0700 Subject: [PATCH] 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. --- src/comp/middle/trans_common.rs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/comp/middle/trans_common.rs b/src/comp/middle/trans_common.rs index 32d0266c7e90..847504a39209 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