अप्रत्याशित विशेषता व्यवहार

Question

को देखते हुए Parent का एक सरल बीजीय डेटा प्रकार:

scala> sealed trait Parent 
defined trait Parent 

scala> case object Boy extends Parent 
defined object Boy 

scala> case object Girl extends Parent 
defined object Girl 

मैं एक विशेषता परिभाषित: फिर

scala> trait HasGirl { 
    | val x: Girl.type 
    | } 
defined trait HasGirl 

, मैं एक मामले वर्ग कि HasGirl कार्यान्वित बनाया है, लेकिन एक x मूल्य प्रदान की Boy.type का।

scala> case class Thing(x: Boy.type) extends HasGirl 
defined class Thing 

मैं एक संकलन समय त्रुटि की उम्मीद थी, के बाद से मैं नहीं दिख रहा है कि कैसे प्रकार Boy.type के xval x: Girl.type के अनुरूप है।

यहां क्या हो रहा है?

Answer 1

ऐसा लगता है कि सदस्यों के बिना सिंगलटन प्रकार किसी प्रकार से समकक्ष हैं। शायद यह एक बग है (आपने टिकट दायर किया है)।

sealed trait Parent 
case object Boy extends Parent 
case object Girl extends Parent { def hello = 1234 } 

trait HasGirl { 
    val x: Girl.type 
} 

case class Thing(x: Boy.type) extends HasGirl 

<console>:57: error: overriding value x in trait HasGirl of type Girl.type; 
value x has incompatible type 
     case class Thing(x: Boy.type) extends HasGirl 
         ^