Skip to content
Snippets Groups Projects
Commit 428dd729 authored by sheaf's avatar sheaf
Browse files

Fix cloneWanted for coercion holes 

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!

Fixes #21130
parent 19d2143a
No related branches found
No related tags found
1 merge request!7781Fix cloneWanted for coercion holes
Pipeline #50911 failed
Stage: tool-lint
Stage: quick-build
Stage: full-build
Stage: packaging
Stage: testing
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment