// error-pattern:mismatched types

fn main() { fail 5; }