class A

	get homeRow as String
		return 'aoeu'

	get ensureWithResult as String
		ensure result.length > 0
		return .homeRow


class B
	inherits A

	get ensureWithResult as String is override  # inherit ensure with a reference to `result`
		return 'aoeu'


class Program

	def main is shared
		assert B().ensureWithResult == 'aoeu'