Code triggering a Scala 10.4 compiler warning about untested approximate refinements