diff options
Diffstat (limited to 'src/checker.cpp')
| -rw-r--r-- | src/checker.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/checker.cpp b/src/checker.cpp index a34e02c07..7e69363ff 100644 --- a/src/checker.cpp +++ b/src/checker.cpp @@ -4456,7 +4456,9 @@ void check_unchecked_bodies(Checker *c) { GB_ASSERT(pl != nullptr); pi.body = pl->ProcLit.body; pi.tags = pl->ProcLit.tags; - GB_ASSERT(pi.body != nullptr); + if (pi.body == nullptr) { + continue; + } check_proc_info(c, pi); } |