I will be working on
improving key path inference and diagnostics this summer as part of GSoC 2023 with my mentor, @xedin. Perhaps you've encountered key path errors that show type inference failures or do not provide actionable information like the infamous "type of expression is ambiguous without more context". We hope to fix many of these by the end of the summer.
If anyone comes across any other odd key path behavior, feel free to share here!
Hopefully, yes! We expect to change how key path expressions are type checked so that certain type information that currently goes missing during constraint solving and is causing many of these errors is not handled until much later in the type-checking process.
This also may be related to your work
07:04PM - 24 Jul 22 UTC
**Describe the bug**
KeyPath causes a compiler crash on an array of existential
Excellent! These are some of the more frustrating errors from the compiler.
This is a pretty cool project, cant wait to follow along the progress!