Lukas Rytz
Lukas Rytz
It seemed to me that my suggestion could be the more principled solution, so I should spend some time finding out why it doesn't work.
LGTM, but I'd like Scala 3 to agree. A PR is the best way to get their attention, would you mind submitting one? https://github.com/lampepfl/dotty/blob/51828cc215ac2b181b6a978144e33e971ba01589/compiler/src/dotty/tools/dotc/typer/RefChecks.scala#L414-L423
@dwijnand are you familiar with this area of match analysis, and could you review this?
Here's an example that shows the issue with this approach: ```scala class A { def /: (z: A)(op: Int): A = ??? def self = this def bar(x: A, y:...
A different issue caused by this PR is that we get a lint warning on `(1, 2) :: Nil` ``` Test.scala:2: warning: adapted the argument list to the expected 2-tuple:...
> worth the communal trouble I like the the simplification, it seems more tractable > similar challenge in the stabilization PR Yeah.. I'm looking at https://github.com/scala/bug/issues/11756 tomorrow, I think it...
@japgolly thanks, I'm happy to follow your suggestions, just need to make sure that finding the files remains cheap. Should we use a different file extension? Maybe `.sc`, though it's...
> is there not a way we can make this file a properties file I spent some time thinking about the file format for external annotations. The advantage of the...
> When you said "A wildcard _ applies to all symbols that share a parent" Is this a direct parent or a transitive parent? Wildcards don't apply to deeper nested...