Description Moritz Eysholdt 2012-06-03 12:12:28 EDT

----------- Xtend ----------------
@Data
class DataBug extends Abs {
	int foo
}

class PropertyBug extends Abs {
	@Property int foo
}

abstract class Abs {
	def String getFoo()
}
----------------------------------

The compiled Java code contains errors, because the inferred getters have a different return type than the one from the abstract class. There are no error markers in the Xtend file.