Vojin Jovanovic

We intend to implement this feature in [the Gradle and Maven plugins](https://github.com/graalvm/native-build-tools/issues/558). That should allow the end-user to make a library work and cover most use cases. The reason for...

I am reopening the issue to continue the discussion: I am fully aware of how difficult it can be to provide metadata in some cases. We need bulk inclusion of...

This is an interesting proposal. We intend to do this for the `condition` field. We would need to figure out how this would work with #7476 and #7962. Also, interaction...

It seems that this feature can not be implemented without macros. Here is the main blocker: ``` def list_new[A:TypeRep](xs: Seq[Rep[A]]): Rep[List[A]] = ListNew(xs) ``` results in "could not find implicit...

Then you get a StackOverflow since typeTag2TypeRep has the highest priority.

This is a diverging implicit.

And if you use the wrapper class then you get the error that I presented in the first comment.

It is not covariant, as the TypeTag is not covariant. And I use a method: ``` implicit def typeRepFromManifest[T](implicit mf: Manifest[T]): TypeRep[T] = TypeRepExp(mf) ``` Instead of the implicit class....

As well as 111 other places in LMS :)

In case of `type TypeRep[T]` Macros can override the priorities of implicits so they could find the appropriate implicit in the scope. In case of wrapper class, they could introduce...