class A

	def foo(s as String?)
		pass


class B
	inherits A
	
	def foo(s as String) is override  # .error. Cannot make param "s" non-nil
		pass


class P

	def main is shared
		pass