class X

	def main
		a = 0 to ?
		b = 0 to ?
		.foo(a, _  # .error. Argument 1 of method "foo" expects a non-nilable type (int)
			b)     # .error. Argument 2 of method "foo" expects a non-nilable type (int)
		
		.foo(x, _  # .error. For "foo" arg 1: Cannot find "x".
			y)     # .error. For "foo" arg 2: Cannot find "y".
	
	def foo(i as int, j as int)
		pass