2
0
mirror of https://github.com/m-labs/artiq.git synced 2024-12-28 04:38:27 +08:00
artiq/lit-test/test/monomorphism/error_notmono.py

10 lines
319 B
Python

# RUN: %python -m artiq.compiler.testbench.signature +diag %s >%t
# RUN: OutputCheck %s --file-to-check=%t
# CHECK-L: ${LINE:+1}: error: the type of this expression cannot be fully inferred
x = int(1)
# CHECK-L: ${LINE:+1}: error: the return type of this function cannot be fully inferred
def fn():
return int(1)