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