Give better error messages when provides is missing in header

This commit is contained in:
Kilian Vounckx 2023-06-27 20:12:02 +02:00
parent a891fbbe78
commit bf2c01554f
No known key found for this signature in database
GPG key ID: 9E8B0D7D30F20264

View file

@ -3469,7 +3469,7 @@ fn to_provides_report<'a>(
}
}
EProvides::Provides(pos) => {
EProvides::Provides(pos) | EProvides::IndentProvides(pos) => {
let surroundings = Region::new(start, pos);
let region = LineColumnRegion::from_pos(lines.convert_pos(pos));