Test file should be named `t8047.scala`