object A { type I = Int def x: I = sys.error("not important") }