path: root/progs/tests/blob/infer.sy

start :: fn {
    blob A { }

    a : A = A()
    a
}