Description Sven Efftinge 2012-01-10 05:35:40 EST

The following code results in incorrect Java code. 
The inferred return type of the last method is Object, but should be List<?>.
Since this involves recursion an error marker requiring declaration of return types would be appropriate too.

class Case_6 {

	def dispatch transform(EPackage packageDecl) {
		packageDecl.eContents.map(e | transform(e as EStructuralFeature))
	}
	
	
	def dispatch transform(EStructuralFeature entity) {
		val inferredType = null
		newArrayList(inferredType as EObject) 	 
	}
	
	def dispatch transform(EClass model) {
		model.ETypeParameters.map(e| transform(e))
	}

}