Type bounds: empty block adds Unit bound

nois-lang · Sep 10, 2024 · ee3bd47 · ee3bd47
1 parent e063b13
commit ee3bd47
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/phase/type-bound.ts b/src/phase/type-bound.ts
@@ -83,6 +83,11 @@ export const collectTypeBounds = (node: AstNode, ctx: Context, parentBound?: Inf
             if (lastStmt) {
                 addBounds(node.type!, [lastStmt.type!])
             }
+            if (node.statements.length === 0) {
+                addBounds(node.type!, [
+                    instantiateDefType(ctx.stdTypeIds.unit?.type ?? makeErrorType('no def', 'no-def'))
+                ])
+            }
             break
         }
         case 'param': {