Open vqns opened 5 months ago
yeah, this is an old todo:
it's definitely possible in common cases like this, it would just require us to be better about knowing what Idx
to emit errors onto.
going to mark this as a feature request since it's not really a bug - the feature as of now works, just suboptimally.
Environment
Steps to reproduce
Structure / signature type mismatch for a given identifier seems to be reported at the start of the structure (i.e at the
struct
keyword) and only mentions incompatible types (5006). Example:Expected behavior
If possible, the location of the diagnostic should be that of the declaration in the structure. Or maybe mentioning either the identifier or the positions of the mismatching declarations in the diagnostic message?
Actual behavior