Closed
Description
Today if a type is not Send (or whatever) you get a rather terse error message informing you of that fact, but no clue as to why a type isn't send. It shouldn't be too hard to walk over the type, identifying a specific path that leads to a non-sendable type. (Same holds for linearity etc)
I'm happy to mentor, so tagging as E-mentor.