Temporarily disable multiple literal bounds #369

Merged
sb10q merged 1 commits from fix/literal-multiple-bounds-workaround into master 2024-08-17 17:37:20 +08:00

1 Commits

Author SHA1 Message Date
David Mak 9d64e606f4 core: Reject multiple literal bounds
This is currently broken due to how we handle function calls in the
unifier.
2023-12-18 10:04:25 +08:00