fn main() {
    let false = 22; //~ error: mismatched types
}