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
..
src	manually track visited varibles in deep_copy_var_to	2021-11-20 01:39:57 +01:00
tests	Add support for type inference at _s in type definitions	2021-11-21 22:54:45 -05:00
Cargo.toml	bumpalo type_to_var	2021-11-19 19:48:51 +01:00