trait A {
	def x: Int
}
class E extends A {
	def x = 19
}