/*/* not recognized as a double comment opening

[sjrd]

The following code:

package hello

object world extends App {
  println("hello dotty!")
  /*/* one
  */
  two
  */
  println("foo")
}

fails to compile with

[error] examples/hello.scala:7: error: not found: two
[error]   two
[error]   ^
[error] examples/hello.scala:8: error: not found: */
[error]   */
[error]   ^
[error] two errors found

So, apparently, the opening /*/* is considered as a single comment opening instead of two.

Inserting a space in /* /* works around the issue.