Georgi Krastev

Forward ports #1259, #1270, #1271, #1272

- Remove custom `CrossType`, move sources accordingly - Generate `Boilerplate` in shared sources, works with Intellij - Use Scala Native JUnit plugin and remove special handling - Run examples on...

Dealias less in OrderingConstraint.replace and AvoidMap

1

Basically if the transformation doesn't apply to the dealias type, then return the original type instead of the dealiased one. In general it's reduce dealiasing to a minimum when typing,...

And some leftover refactoring

TypeVars can't specialize Scope declarations

3

Below are a few examples involving type aliases and refinement types that show how among several equivalent types, some can be resolved implicitly while others cannot. ```scala object Main {...

Generate boilerplate in shared sources

3

to a place that works for Intellij

It makes the generated code a bit simpler

Incomplete substitution of type parameters in extension methods

5

This occurs when combining `AnyVal` extension methods and the `Aux` pattern for dependent types. ```scala trait DepFn[A] { type B; def apply(a: A): B } object DepFn { type Aux[A,...

Simplify links to typeclasses

Move anonymous classes out of inlined code and into constructor methods

2

Inlining anonymous classes generates a new class file per call.