Skip to content

SetLevels: Fix potential panic in lvlBind

Ben Gamari requested to merge wip/fix-isUnliftedType-panic into master

As noted in !1515 (comment 217011) the previous implementation may panic in the presence of levity polymorphism. Fix this.

Merge request reports