5 Commits

Author	SHA1	Message	Date
Matthias Krüger	418b91a3d7	Rollup merge of #114594 - compiler-errors:new-solver-resolve-aliases, r=lcnr ... Structurally normalize weak and inherent in new solver It seems pretty obvious to me that we should be normalizing weak and inherent aliases too, since they can always be normalized. This PR still leaves open the question of what to do with opaques, though 💀 **Also**, we need to structurally resolve the target of a coercion, for the UI test to work. r? `@lcnr`	2023-08-08 03:30:56 +02:00
Michael Goulet	ba4a2f7cb7	Resolve target type of coercion	2023-08-07 19:06:18 +00:00
León Orell Valerian Liehr	5468336d6b	Store the laziness of type aliases in the DefKind	2023-08-07 15:54:31 +02:00
León Orell Valerian Liehr	263a0dec60	Compute variances for lazy type aliases	2023-08-03 01:38:23 +02:00
León Orell Valerian Liehr	0ca432844c	Check lazy type aliases for well-formedness	2023-07-30 11:24:15 +02:00