Skip to content

Fix cloneWanted for coercion holes

sheaf requested to merge sheaf/ghc:cloneWanted into ghc-9.2

A small bug was introduced in cloneWanted in 8bb52d91, which meant that when cloning an evidence variable we could end up creating a coercion hole instead of a new EvVar. This patch fixes that, and adds a regression test.

Edited by sheaf

Merge request reports