Misleading unreachable case warning when a stable type pattern match that is the result of a inline expansion is involved?
The following code works fine
False unreachable case warning when a stable type pattern match that is the result of a inline expansion is involved
The following code works fine but the compiler warns with: Unreachable case except for null (if this is intentional, consider writing case null => instead).
case _ => loop[tail, S](s, count + 1)
Why, is that a compiler bug? The case pointed by the warning is not only reachable but the most common case.