Soares Chen @maybevoid.com · Dec 14

I have done my first Rust compiler hacking, and fortunately it is rather simple for me to get the compiler to spit out additional error messages that I needed to help debugging context-generic programming! In the screenshot below prints the extra help that shows `Person: Serialize`!

0 likes 1 replies

?

Replies

Soares Chen · Dec 14

The error is still not exhaustive enough to help with more complex CGP usage. But at least it does help provide sufficient extra information to help make the remaining ad hoc debugging much easier. But the number of unsatisfied constraints can get pretty large when there are many CGP components.