ena icon indicating copy to clipboard operation
ena copied to clipboard
verified publisher icon rust-lang

`UnificationTable::probe_value` unnecessarily requires UnificationStoreMut

Open aliemjay opened this issue 2 years ago • 0 comments

The methods probe_value and find can be moved to a separate impl that doesn't require UnificationStoreMut bound.

aliemjay avatar Feb 17 '23 03:02 aliemjay