# test that ensure conditions are not checked if a method is throwing an exception

class Test

	def main is shared
		Test().run

	def run
		expect FooException
			.foo

	var _foo as bool

	def foo
		ensure
			_foo
		body
			throw FooException()

class FooException
	inherits Exception

	pass