Guillaume Martres

> Save only .tasty file instead of .semanticdb Generating semanticdb directly from the compiler is probably still useful for things which are expensive to recompute from tasty like symbol occurences,...

> Equal is contravariant so both Equal[Int] and Equal[String] are more specific than Equal[Nothing]. That behavior is reversed in Dotty (https://github.com/lampepfl/dotty/blob/bb23fea9f5605f12650f4aa5ef8716c3237c1ac4/compiler/src/dotty/tools/dotc/typer/Applications.scala#L1482-L1512), and Scala 2 does something similar under `-Xsource:3.0`: https://github.com/scala/scala/pull/6037

Looks normal to me, the [rules for extension methods lookup](https://dotty.epfl.ch/docs/reference/contextual/extension-methods.html) say: > 2.The extension method is a member of some given instance that is visible at the point of the...

I'll note that I don't think this is fundamentally different from how Haskell for example behave, if I want to use `arr` I need to do: ```haskell import Control.Arrow ```...

> @smarter told me over a chat that he implemented them together, so this sets precedent that this is possible. Currently, `ExtractAPI` and `ExtractDependencies` are separate in dotty but this...

Basically, if a method is inlineable, its body is part of its API signature. We deal with that in dotty by storing the pretty-printed body of the method in a...

Does that actually do anything in Scala 2.12 ?

Huh. I would vote to deprecate that feature then :P

It can be pretty important for performance

I still think it makes sense for the scalac bridge to implement what I said in https://github.com/sbt/zinc/issues/537#issuecomment-385999145