Closed mraineri closed 1 year ago
Fix #547
Currently only reporting a warning instead of an error; may need to discuss this a bit since using undefined annotation is illegal, but could be detrimental for cases like this.
Approved 3/10
Fix #547
Currently only reporting a warning instead of an error; may need to discuss this a bit since using undefined annotation is illegal, but could be detrimental for cases like this.