Since someone brought it up, and since I don’t speak rust… are the error message formats (i.e. the lines and crossings) made by a rust library or did you implement them? They are certainly visually nice.

They are made by a Rust library, but it's a library I wrote for this project (now used by others too): https://github.com/zesterer/ariadne