Ayaz Hafiz 4657a957f7 When storing variables, merge them directly with the target rather than unifying ... When we unify two variables that end up merged, the rank of the resulting content is the lower of the two variables being merged. But during storage, we really do mean, take the target descriptor of the type we're merging against, and don't try to lower to a possibly-generalized rank! This fixes a couple bugs I didn't even realize were present!		2022-07-29 14:53:14 -04:00
..
src	When storing variables, merge them directly with the target rather than unifying	2022-07-29 14:53:14 -04:00
Cargo.toml	Prune some unused dependencies	2022-07-11 20:51:41 -04:00