You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
*** error while checking /home/olivier/workspace/dotty/tests/pos/annot-2.scala after phase splitter ***
exception occurred while compiling /home/olivier/workspace/dotty/tests/pos/annot-2.scala Exception in thread "main" java.lang.AssertionError: assertion failed: symbols differ for x1.ne
was : method ne
alternatives by type: of types
qualifier type : => Nothing(???)(x1)
tree type : ((x$0: Object): Boolean)(x1.ne) of class class dotty.tools.dotc.core.Types$CachedTermRef
scalac rejects that code in typer:
scala>???match {
|caseSome(_) => ()
| }
<console>:13:error: constructor cannot be instantiated to expected type;
found : Some[A]
required: NothingcaseSome(_) => ()
^
The text was updated successfully, but these errors were encountered:
scalac rejects that code in typer:
The text was updated successfully, but these errors were encountered: