1 // RUN: %clang_cc1 -std=c++23 -ast-print %s | FileCheck %s 2 3 // CHECK: void f(int x, int y) { f(int x,int y)4void f(int x, int y) { 5 // CHECK-NEXT: {{\[}}[assume(true)]] 6 [[assume(true)]]; 7 8 // CHECK-NEXT: {{\[}}[assume(2 + 4)]] 9 [[assume(2 + 4)]]; 10 11 // CHECK-NEXT: {{\[}}[assume(x == y)]] 12 [[assume(x == y)]]; 13 } 14