// RUN: %clang_cc1 -std=c++23 -x c++ %s -verify

void f(int x, int y) {
  [[assume(true)]];
  [[assume(1)]];
  [[assume(1.0)]];
  [[assume(1 + 2 == 3)]];
  [[assume(x ? 1 : 2)]]; // expected-warning {{converting the result of '?:' with integer constants to a boolean always evaluates to 'true'}}
  [[assume(x && y)]];
  [[assume(true)]] [[assume(true)]];

  [[assume]]; // expected-error {{takes one argument}}
  [[assume(]]; // expected-error {{expected expression}}
  [[assume()]]; // expected-error {{expected expression}}
  [[assume(2]]; // expected-error {{expected ')'}} expected-note {{to match this '('}}
  [[assume(x = 2)]]; // expected-error {{requires parentheses}}
  [[assume(2, 3)]]; // expected-error {{requires parentheses}} expected-warning {{has no effect}}
}