Skip to content

Add a missing checkEscapingKind

Simon Peyton Jones requested to merge wip/T22743 into master

Ticket #22743 (closed) pointed out that there is a missing check, for type-inferred bindings, that the inferred type doesn't have an escaping kind.

The fix is easy.

Merge request reports