ayazhafiz 1135d88dd0 Add support for type inference at _s in type definitions ... All we have to do is introduce a new, unconstrained type variable at underscore sites, and let the type reconstructor work its magic! The unconstrained type variable will become a `FlexVar` that absorbs constraints given to it, so it'll behave like a proper inference variable. That's it! Part of #1804		2021-11-21 22:54:45 -05:00
..
helpers	fix Bag import in tests	2021-02-08 23:40:50 +01:00
solve_expr.rs	Add support for type inference at _s in type definitions	2021-11-21 22:54:45 -05:00