// error-pattern: mismatched types

fn main() {
  10 <| 10;
}