missing checker error for an empty @[noreturn] function #22468
Labels
Bug
This tag is applied to issues which reports bugs.
Good First Issue (easy task)
This issue is suitable to be worked on by new contributors.
Status: Confirmed
This bug has been confirmed to be valid by a contributor.
Unit: Checker
Bugs/feature requests, that are related to the type checker.
Unit: Compiler
Bugs/feature requests, that are related to the V compiler in general.
V doctor:
What did you do?
./v -g -o vdbg cmd/v && ./vdbg a.v
What did you expect to see?
A checker error, about how noreturn functions should end
What did you see instead?
The program compiled without a checker error.
Note
You can use the 👍 reaction to increase the issue's priority for developers.
Please note that only the 👍 reaction to the issue itself counts as a vote.
Other reactions and those to comments will not be taken into account.
The text was updated successfully, but these errors were encountered: