# RUN: %python -m artiq.compiler.testbench.inferencer %s >%t # RUN: OutputCheck %s --file-to-check=%t # CHECK-L: x:<function len> x = len def f(): global len # CHECK-L: len:int(width='a) = len = 1