Macros question! If I have a type constructor, say List[_], and a concrete type, say List[Int], is there a convenient API for unifying the types to extract the wrapped type, Int? My current hack is to typecheck a mock expression and inspect the inferred parameter types.
-
Definitely interested in the answer to this. Ping me if you get a promising lead.
Check out Adriaan's answer, though I haven't applied it to my code yet. I'm not sure it works as universally as I need for this particular use case. My first solution of typechecking a dummy method still works, but feels a bit hacky...