Some of these errors remind me of Rust and the attempts in that community to give every error an exhaustive description [1].
This looks fantastic, and shows a true commitment to reducing friction with the language - a goal which often goes too long without attention.