// RUN: %clang_cc1 -std=c++23 -ast-print %s | FileCheck %s

// CHECK: void f(int x, int y) {
void f(int x, int y) {
  // CHECK-NEXT: {{\[}}[assume(true)]]
  [[assume(true)]];

  // CHECK-NEXT: {{\[}}[assume(2 + 4)]]
  [[assume(2 + 4)]];

  // CHECK-NEXT: {{\[}}[assume(x == y)]]
  [[assume(x == y)]];
}