Scala: ordre de définition pour objet compagnon vs classe affaire

Question

Dans Scala 2.9.1 je reçois le comportement suivant:

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) 
    } 
} 

Le compilateur se plaint pour Object Z: erreur: Z est déjà définie comme (compilateur généré) objet compagnon de classe case Z

Il semble qu'il ne soit pas permis de définir un objet compagnon pour une classe de cas après la définition de classe de cas si elles se trouvent dans une définition de fonction. Est-ce un bug du compilateur, ou intentionnel? Si ce dernier, pourquoi?

Answer 1

Ceci est un bug connu: SI-3772: companions and method-owned case classes. Ceci est partiellement fixé, mais le problème de l'OP reste toujours. Votez si vous le voulez.

Answer 2

La raison pour laquelle la première est autorisée et la seconde ne l'est pas est que les classes et les objets peuvent avoir des définitions directes, mais pas les définitions. Alors pourquoi il est possible que le compilateur mélange object X avec celui défini par la classe case, il n'est pas possible de le faire dans le second cas.

Je me demande ce qui se passe dans le cas Y: l'observation ou le compagnon d'objet n'est pas généré du tout?