Scala: порядок определения для объекта-компаньона против случая класса

Question

В Scala 2.9.1 я получаю следующее поведение:

class Foo { 
    case class X() 
    object X   // this compiles 

    def bar() { 
     object Y   // this compiles 
     case class Y() 

     case class Z() 
     object Z   // won't compile (see below) 
    } 
} 

Компилятор жалуется на Object Z: ошибка: Z уже определено как (сгенерированный компилятором) объект класса сопутствующего объекта класса Z

По-видимому, недопустимо определять объект-компаньон для класса case после определения класса case, если они находятся в определении функции. Является ли это ошибкой компилятора или преднамеренным? Если последнее, почему?

Answer 1

Это известная ошибка: SI-3772: companions and method-owned case classes. Это частично исправлено, но проблема OP все еще остается. Проголосуйте, если хотите, чтобы оно было исправлено.

Answer 2

Причина, по которой первое разрешено, а второе - не то, что классы и объекты могут иметь форвардные определения, но определения не могут. Итак, почему компилятор может смешать object X с тем, который определяется классом case, это невозможно сделать во втором случае.

Интересно, что происходит в случае Y: затенение или объект-компаньон не генерируется вообще?