Passes all the way to test case t5958.scala