Add a regression test for #21130
The issue in #21130 (closed) was due to a bug in cloneWanted
, which was incorrectly
creating a coercion hole to hold an evidence variable. This patch adds a test.
The issue in #21130 (closed) was due to a bug in cloneWanted
, which was incorrectly
creating a coercion hole to hold an evidence variable. This patch adds a test.