Yang, Bo

Or we can define `Witness` as following: ``` scala trait Witness { type T = value.type val value: Any } object Witness { type Lt[+T0] = Witness { val value:...

@milessabin At least the approach works for Dotty 😄 https://scastie.scala-lang.org/Atry/H5ltvYE9T9iD8IwRSdDESg/5 ``` scala trait Witness { type T = value.type val value: Any } object Witness { type Aux[T0] = Witness...

The new `Witness` encoding need some workaround for Scala 2: https://scalafiddle.io/sf/c6YMHlX/0 ``` scala trait Witness { type T = value.type val value: AnyRef } object Witness { type Aux[T0] =...

The current `Witness.Aux[Succ[P]]` does not make sense, as `Succ[P]` is not a singleton type. It should be `Witness.Lt[Succ[P]]`.

Ping @xuwei-k

In Sbt 1.2.8, I use `skip := true` to skip a project, including dependency resolving, compiling, publishing. `skip := true` does not work in Sbt 1.3.0

I maintain a template project for static Scala.js projects https://github.com/Atry/scalajs-all-in-one-template

Looks like a bug in Scala compiler. It may be related to https://issues.scala-lang.org/browse/SI-8825

#50

Seems like a bug in Scala compiler: https://issues.scala-lang.org/browse/SI-9889