Skip to content

Solve local constraints issue #501

Description

@Rewbert

The typececker, line 3449, says "solveLocalConstraints is wrong; it tries to solve before everything is known.".

I just encountered this in my program. Luckily for me, my program fails to compile at a later point anyway, so I don't block on this. I just wanted to document that now there is perhaps one user who encountered this in the wild!

I dare not show my code to trigger this (it's greasy), but you seem to be aware of the issue anyway?

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions