class_refcap_inference_problem.pony

class Bar
  let string: String

  new create() =>
    string = "bar"

class Foo
  let string: String = "foo"

actor Main
  new create(env: Env) =>
    let b1 = Bar
    let b2: Bar = Bar
    let f1 = Foo
    let f2: Foo = Foo

    useBar(b1) // fine
    useBar(b2) // fine
    useFoo(f1) // Foo iso! is not a subtype of Foo ref: iso! is not a subtype of ref
    useFoo(f2) // fine

  fun useBar(b: Bar ref) =>
    true

  fun useFoo(f: Foo ref) =>
    true