3 commits

Author	SHA1	Message	Date
Michael Goulet	fb9030d7dd	Structurally normalize weak and inherent too	2023-08-07 19:05:59 +00:00
Michael Goulet	e0acff796a	New trait solver is a property of inference context	2023-06-06 18:43:06 +00:00
Michael Goulet	4cfafb275e	Structurally normalize in the new solver	2023-05-22 21:18:20 +00:00