// module test_22b3_default_e2e

class D a {
  fn dval(x: own a) -> own Int default {
    |x: a| -> Int {
      99
    }
  }
}

instance D Int {
}

fn main() -> own Unit with IO {
  print(dval(0))
}