4 Commits

Author	SHA1	Message	Date
Michael Goulet	a58682d7cc	Specify what 'this' actually is	2023-02-21 05:21:07 +00:00
Michael Goulet	6f3706ea71	Pretty placeholders using their names	2023-02-18 19:49:40 +00:00
Michael Goulet	ec40b1a393	Collapse placeholders to root universe in canonicalizer if not preserving universes	2023-02-18 19:49:40 +00:00
Michael Goulet	f4a4a31479	Don't ICE on bound types in sized conditions	2023-02-18 19:49:40 +00:00