class Vehicle
	pass


class Car
	inherits Vehicle
	pass


class Program

	def main is shared
		c as Car? = Car()
		v as Vehicle = Vehicle()
		if v is c  # used to generate a false error message
			pass