(module test_22b3_shadow_class_method
  (class TShow
    (param a)
    (method tshow
      (type (fn-type (params (own a)) (ret (own (con Str)))))))
  (class Foo
    (param a)
    (method foo
      (type (fn-type (params (own a)) (ret (own (con Str)))))))
  (instance
    (class TShow)
    (type (con Int))
    (method tshow
      (body (lam (params (typed x a)) (ret (con Str)) (body "s")))))
  (instance
    (class Foo)
    (type (con Int))
    (method foo
      (body (lam (params (typed x a)) (ret (con Str)) (body "f")))))
  (fn main
    (type (fn-type (params) (ret (own (con Str)))))
    (params)
    (body (let _t (app tshow 5) (let tshow "shadow" (let _u tshow (app foo 7)))))))