// error-pattern:cannot multiply `bool` by `bool`

fn main() { let x = true * false; }