# @type const A: A.class
# @type const B: A.class constructor
# @type const C: A.class noconstructor

# !expects NoMethodError: type=A.module, method=new
a = A.new
b = B.new
# !expects NoMethodError: type=A.module noconstructor, method=new
c = C.new