2011-06-15 18:19:50 +00:00
|
|
|
|
2011-04-22 21:23:54 +00:00
|
|
|
use std;
|
2011-12-14 00:25:51 +00:00
|
|
|
import option;
|
2011-04-22 21:23:54 +00:00
|
|
|
|
2012-02-01 01:05:20 +00:00
|
|
|
fn foo<T>(y: option<T>) {
|
2011-07-27 12:19:39 +00:00
|
|
|
let x: int;
|
2011-08-19 22:16:48 +00:00
|
|
|
let rs: [int] = [];
|
2011-07-13 22:44:09 +00:00
|
|
|
/* tests that x doesn't get put in the precondition for the
|
2011-06-15 18:19:50 +00:00
|
|
|
entire if expression */
|
2011-04-22 21:23:54 +00:00
|
|
|
|
2011-07-27 12:19:39 +00:00
|
|
|
if true {
|
2012-01-19 09:03:57 +00:00
|
|
|
} else { alt y { none::<T> { x = 17; } _ { x = 42; } } rs += [x]; }
|
2011-06-15 18:19:50 +00:00
|
|
|
ret;
|
2011-04-22 21:23:54 +00:00
|
|
|
}
|
|
|
|
|
|
2011-12-22 22:42:52 +00:00
|
|
|
fn main() { #debug("hello"); foo::<int>(some::<int>(5)); }
|
