14 lines · plain
1// RUN: mlir-opt %s --split-input-file --verify-diagnostics2 3// expected-error @below {{domain must be any SMT value type}}4func.func @array_domain_no_smt_type(%arg0: !smt.array<[i32 -> !smt.bool]>) {5 return6}7 8// -----9 10// expected-error @below {{range must be any SMT value type}}11func.func @array_range_no_smt_type(%arg0: !smt.array<[!smt.bool -> i32]>) {12 return13}14