fix: Instantiate type when detecting eq #91

Merged
aniva merged 1 commits from bug/eq-detection-in-congruence into dev 2024-09-03 19:19:10 -07:00

1 Commits

Author SHA1 Message Date
Leni Aniva 9c40a83956
fix: Instantiate type when detecting `eq` 2024-09-03 19:05:16 -07:00