Can't put opaque newtypes in Arrays

[joroKr21]

But you can put translucent newtypes:

@translucent type Foo = Int
@opaque type Bar = Int
Array(Foo.Impl(42)) // ok
Array(Bar.Impl(42)) // no ClassTag

I couldn't come up with a modification of the encoding that would solve this. Maybe at least add a row in the comparison table for Arrays

[hobwekiva]

Just add an implicit classTag: ClassTag[Bar] in the companion object.

[joroKr21]

A ClassTag that points to java.lang.Integer or Int? Maybe this should be added by the macro annotation.

[joroKr21]

In general this doesn't work, e.g.

  type HK[G[_], A] = G[A]
  @opaque type OpaqueHK[G[_], A] = HK[G, A]