Improve reporting for doc links problems

This commit is contained in:
Richard Feldman 2024-04-26 16:31:20 -04:00
parent 00950d2a0e
commit 17d761252f
No known key found for this signature in database
GPG key ID: F1F21AA5B1D9E43B
6 changed files with 164 additions and 25 deletions

View file

@ -3381,6 +3381,7 @@ fn finish(
LoadedModule {
module_id: state.root_id,
filename: state.root_path,
interns,
solved,
can_problems: state.module_cache.can_problems,