The repro repository has everything: https://github.com/fasterthanlime/readme-md-error-reporting Expected behavior is that the diagnostics have: ` --> README.md:7:16`, but they currently have ` --> src/lib.rs:7:16`.