I believe it would require inspecting the "opaque"...
# general
b
I believe it would require inspecting the "opaque" annotation fields and rewriting scala references