path: root/progs/tests/blob_infer.sy

start :: fn {

    blob A { }

    a : A = A()
    a

}