}
_ => {
// Not an error! Means we're inferring the closure type
- (None, ast::impure_fn, ast::BorrowedSigil,
- ast::Many, ty::EmptyBuiltinBounds())
+ let mut sigil = ast::BorrowedSigil;
+ let mut onceness = ast::Many;
+ let mut bounds = ty::EmptyBuiltinBounds();
+ match expr.node {
+ ast::ExprProc(..) => {
+ sigil = ast::OwnedSigil;
+ onceness = ast::Once;
+ bounds.add(ty::BoundSend);
+ }
+ _ => ()
+ }
+ (None, ast::impure_fn, sigil,
+ onceness, bounds)
}
}
};
--- /dev/null
+// Copyright 2013 The Rust Project Developers. See the COPYRIGHT
+// file at the top-level directory of this distribution and at
+// http://rust-lang.org/COPYRIGHT.
+//
+// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
+// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
+// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
+// option. This file may not be copied, modified, or distributed
+// except according to those terms.
+
+fn f(p: proc()) {
+ p();
+}
+
+pub fn main() {
+ let p = proc() ();
+ f(p);
+}