Skip to content

More specific errors for kind check failures #12201

Closed
@nikomatsakis

Description

@nikomatsakis

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.

cc @larsbergstrom

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-type-systemArea: Type systemC-enhancementCategory: An issue proposing an enhancement or a PR with one.E-mentorCall for participation: This issue has a mentor. Use #t-compiler/help on Zulip for discussion.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions