Could you inquire at that scala-internals thread why this is so?