Guillaume Martres

If we're willing to consider completely different approaches, it's maybe worth having a look at https://github.com/github/stack-graphs/ which is what [github is starting to use](https://docs.github.com/en/repositories/working-with-files/using-files/navigating-code-on-github#precise-and-search-based-navigation) to provide semantic go-to-definition/find-all-references. It's not...

I'm still interested in this feature and I'd be happy to help with the implementation if someone can point me to the relevant pieces of infrastructure that would need to...

> If we provide an access to scala3 team to github actions in Metals project then a person who conducts RC release will be able to run mtags release from...

Actually I realize that this probably wouldn't work since we need to wait for sonatype to publish the release, so maybe the once-a-day check is good enough?

> Or do you switch scalaVersion in repo before publishing release? I don't know exactly when the release event is triggered in our RC release process, I think @Kordyjan should...

We should also update https://github.com/lampepfl/dotty/blob/master/CONTRIBUTING, it was copied from scala/scala a long time ago and is starting to show its age. A good starting point could be the current https://github.com/scala/scala/blob/2.12.x/CONTRIBUTING.md

I believe this would be a major undertaking, and one without any theoretical backing (we know what intersection and union mean from DOT, but we don't have a higher-kinded DOT,...

@lihaoyi Scala.JS already does all the DCE it can do, so in theory you should already be able to achieve this just by carefully avoiding using too much stuff from...

> What else? See this fantastic SO answer by Seb: https://stackoverflow.com/questions/40076047/what-types-are-special-to-the-scala-compiler/40083398#40083398

While bivariance does make sense for `Const`, I wonder if there are other situations in which it would be helpful ? Otherwise, I'm not sure it's worth adding to the...