class Foo

	get superFoo as Foo?
		return nil

	def bar
		x = Object()
		if x inherits Foo and (y = (x to Foo).superFoo)  # used to trigger a code gen bug in TruthExpr during an enhancement
			CobraCore.noOp(x, y)

	def main is shared
		pass