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

test our some of the various combinations of fn subtyping

Browse Source
This commit is contained in:
Niko Matsakis 2012-05-30 11:59:05 -07:00
parent 5b8abec92f
commit dca11e1f99
1 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
src/test/compile-fail/pure-subtyping.rs
View File

@ -18,5 +18,19 @@ fn assign_to_unsafe(x: pure fn(), y: fn(), z: unsafe fn()) {
let o: unsafe fn() = z;
}
fn assign_to_pure2(x: pure fn@(), y: fn@(), z: unsafe fn@()) {
let a: pure fn() = x;
let b: pure fn() = y; //! ERROR expected pure fn but found impure fn
let c: pure fn() = z; //! ERROR expected pure fn but found unsafe fn
let a: pure fn~() = x; //! ERROR closure protocol mismatch (fn~ vs fn@)
let b: pure fn~() = y; //! ERROR closure protocol mismatch (fn~ vs fn@)
let c: pure fn~() = z; //! ERROR closure protocol mismatch (fn~ vs fn@)
let a: unsafe fn~() = x; //! ERROR closure protocol mismatch (fn~ vs fn@)
let b: unsafe fn~() = y; //! ERROR closure protocol mismatch (fn~ vs fn@)
let c: unsafe fn~() = z; //! ERROR closure protocol mismatch (fn~ vs fn@)
}
fn main() {
}