class Test implements IEnumerable<of Record>

	var _records as List<of Record>

	cue init
		base.init

	def getEnumerator as IEnumerator<of Record>
		return _records.getEnumerator
	
	def getEnumerator as System.Collections.IEnumerator
		implements System.Collections.IEnumerable
		# TODO: the following typecast is not required in C# and should not be in Cobra as well
		# since IEnumerator<of Record) inherits IEnumerator
		return .getEnumerator to System.Collections.IEnumerator


class Record

	get x as int
		return 5


class Program

	def main is shared
		pass

	def foo(t as Test)
		for r in t
			assert r.x==5