trait A {
	def x: Int
}