odersky

Generally, what's missing is a suite of tests that shows how path-dependent types give a more expressive language. Show code that did not typecheck before, but now does.

There's a problem with pattern matching shown in the `path-patmat-should-be-pos.scala` test.

Rebased to main

Thanks for the statistics @WojciechMazur! That's good to know. I had a nagging suspiciion that this is probably too expensive in this form, so it seems we need to target...

Here's the start of the doc page: Type class derivation is a way to automatically generate given instances for type classes which satisfy some simple conditions. A type class in...

One problematic aspect in the proposal is to have two type classes for `Conversion` and `InlineConversion` side by side. This means we now need two implicit searches instead of one...

I think we can allow nested inline methods if there is an intervening class. Not sure it will help, though. I disabled the no-nested inlines check in this example: ```scala...