# there is no "is override" or "is new" for init methods


class A

	cue init(i as int)
		require i > 0
		base.init

class B

	cue init(i as int)
		require i == 0
		base.init


class Test

	def main is shared
		A(1)
		expect RequireException, A(0)
		B(0)
		expect RequireException, B(1)