Vlad Ureche

Currently they are ignored, since they are marked as ``.

The 1st point also occured for `spire`. The 2nd point spawned #135.

Yes, both the miniboxing runtime and plugin are required to compile any source code that uses or interacts with miniboxed bytecode. This is quite restrictive, and although there are solutions...

Assigned to milestone `0.5` since it's quite a difficult problem. > ps: sorry for spamming you with issues Thank you for doing so. How else would the miniboxing plugin become...

During a discussion today with @xeno-by I learned about the `@copileTimeOnly` annotation: https://issues.scala-lang.org/browse/SI-6539, which could be used to implement this feature.

Here's a test case: ``` $ cat gh-bug-185-1.scala package miniboxing.tests.compile.bug185 class C[@miniboxed T] $ mb-scalac gh-bug-185-1.scala $ cat gh-bug-185-2.scala package miniboxing.tests.compile.bug185 object Test { def main(args: Array[String]): Unit = {...

The idea is: ``` scala> import scala.reflect.internal.annotations.compileTimeOnly import scala.reflect.internal.annotations.compileTimeOnly scala> @compileTimeOnly("use the miniboxing plugin!") class C defined class C scala> new C :10: error: use the miniboxing plugin! new C...

The quirks of specialization: - [x] 1.1 "Know the conditions for method specialization" - method speciaization - fixed by miniboxing - [x] 1.2 "Know the conditions for method specialization" -...

Reduced to: ``` $ cat macros.scala trait Ctx { trait Tree } trait Lst[+A] { def zip[A1 >: A, B](that: Lst[B]): Nothing } object Test { def foo(c: Ctx)(l: Lst[c.Tree])...

Thank you `uncurry`. Thank you Scala test suite. Thank you Scala :-1: :-1: :-1: :-1: Here's the incorrect translation in `uncurry`, which nobody in the Scala pipeline seems to mind:...