//> using options -Werror -Wunused:nowarn -Xsource:3
//
class C extends java.lang.CharSequence {
  def charAt(x$1: Int): Char = ???
  def length: Int = ???
  def subSequence(x$1: Int, x$2: Int): CharSequence = ???
}

// Welcome to the Happy J
class J { override def toString = "Happy J" }
