Sébastien Doeraene
Sébastien Doeraene
@Decel That's expected. `List[Int]` is not disjoint from `List[String]`, since there exist an inhabited type `Nil.type` that is a subtype of both. `Array[Int]` and `Array[String]` are disjoint because `Array` is...
I think this is intentional. We allow no-`()` for Scala 2-defined methods.
Indeed. I agree we should have a warning.
According to the CI build history for pushes on `main`, this was broken by https://github.com/lampepfl/dotty/pull/19860 /cc @Linyxus This needs to be addressed *today*, as we're moving the repo tomorrow morning...
Reverting #19860 does not fix the issue. Any idea what else could have caused this?
Huh. It's been quite consistent in the past few builds, though.
Yes, let's do that. Can you send a PR?
No, it doesn't. It doesn't matter. `swap` does not magically provide a performance superpower. Once the (even baseline) JIT compiler is through with your bytecode, a swap or two stores...
> What you can't do though is get an `exnref` that corresponds to an exception originally thrown from JS. Hum, I'm confused by that statement. A `catch_ref $JSTag` or `catch_all_ref`...