ayazhafiz efe6a8b7c8 Pass down rigids vars for substitution during type reconstruction ... Rigid vars are added to types after solutions are already found and are only relevant for pretty printing elaborated types, so we don't keep track of/care about their rigid names until the end of solution. Previously we didn't provide this information in tests, though - now we do.		2021-11-17 13:38:00 -05:00
..
src	Pass down rigids vars for substitution during type reconstruction	2021-11-17 13:38:00 -05:00
Cargo.toml	Make versions numbers consistent and matching the lock files	2021-11-06 13:24:45 -07:00