Ayaz Hafiz 0a9a20a53c Correct emplace variables in type indices during translation ... Prior to this commit, we emplace type variables into `Index<TypeTag>` only for translated top-level types. However, we need to be careful to do this emplacement for nested types as well! This patch ensures we do, but immediately emplacing the destination variable of a type when we allocate a variable for it.		2022-11-16 14:05:52 -06:00
..
docs	Add language to all fenced code blocks	2022-09-09 01:12:31 -06:00
src	Correct emplace variables in type indices during translation	2022-11-16 14:05:52 -06:00
tests	Chase under aliases during occurs checking	2022-11-15 16:22:01 -06:00
Cargo.toml	more workspace dependencies	2022-11-13 16:10:02 +01:00