main.poly

actor Main
  new create(env: Env) =>
    env.out.print("Hello, world!")


class Wombat
  let name: String
  var _hunger_level: U64

  new create(name': String) =>
    name = name'
    _hunger_level = 0

  new hungry(name': String, hunger': U64) =>
    name = name'
    _hunger_level = hunger'

class Aardvark
  var buddy: Wombat iso = Wombat("Lieselotte") as Wombat iso

  fun test(a: Wombat iso) =>
    var b: Wombat iso = buddy = consume a // Allowed!