I'm working on a project that uses a lot of path-dependent types, and although it compiles, intellij highlights a lot of it in red. A lot of it seems to be to do with failing to unify A#X with a.X. You can find the source at:
What's the right way for me to feed these red highlighting errors towards people who can fix them? I don't have minimal examples, and am not quite sure how I would make one.