it compiles if you remove opaque modifier from type member B from trait F
maybe you could use two type members, one that is opaque and one that isn’t?
it compiles if you remove opaque modifier from type member B from trait F
maybe you could use two type members, one that is opaque and one that isn’t?