Migration notes around !4149
Patch !4149 (closed) is a significant refactor of part of the constraint solver, removing the notion of flattening metavariables. This will have a direct downstream effect on any type-checker plugins. We should thus make a migration guide for dealing with the change. @trac-sheaf and I emailed about building this together: @trac-sheaf has written type-checker plugins, and so knows the experience of a plugin author. I know the refactor and can guide the necessary changes. So let's build this migration guide together!
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information