object ClassDef
  case class Foo(Int, y: Int(32)) extends Bar
end ClassDef