fix: `try_unify` no longer binds types on failure#3697

Merged

jfecher merged 13 commits intomasterfrom

Dec 7, 2023

Commits on Dec 1, 2023

Fix try_unify
Jake Fecher
committed
Now there is a different error in protocol-circuits
Jake Fecher
committed

Commits on Dec 4, 2023

Fix missed apply_type_bindings
Jake Fecher
committed
Trying to debug lookup_trait_implementation bindings
Jake Fecher
committed

Commits on Dec 5, 2023

Fix remainder of bugs
Jake Fecher
committed
Fix merge conflicts; remove ssa debug code
Jake Fecher
committed
Remove unused debug variable
Jake Fecher
committed
Remove last of inlining debug code
Jake Fecher
committed
Small cleanup
Jake Fecher
committed

Commits on Dec 7, 2023

fix: Make trait functions generic over `Self` (#3702)
jfecher
authored
Merge branch 'master' into jf/fix-3089
kevaundray
authored
Remove equality check
Jake Fecher
committed
Add regression test
Jake Fecher
committed