Temporarily disable multiple literal bounds #369

Merged

sb10q merged 2 commits from fix/literal-multiple-bounds-workaround into master

2023-12-18 10:09:28 +08:00

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
David Mak	6dccb343bb	Revert "core: Do not keep unification result for function arguments" This reverts commit `f09f3c27a5`.	2023-12-18 10:01:23 +08:00