Skip to content

Fail eagerly on a levity polymorphic datacon arg

Richard Eisenberg requested to merge wip/T18534 into master

This fixes #18534 (closed); see commentary in the code for the details.

Merge request reports