summaryrefslogtreecommitdiff
path: root/infer.c
diff options
context:
space:
mode:
authorLeo Tenenbaum <pommicket@gmail.com>2020-05-01 15:49:30 -0400
committerLeo Tenenbaum <pommicket@gmail.com>2020-05-01 15:49:30 -0400
commit5277f2222417b5366e1ef6e0871c90e3946b1742 (patch)
treea4524f919817b0304c362efd6de5cf4338c303f2 /infer.c
parent24495b0419cb43daa6a0adcccfde63853d5bd2dd (diff)
&void
Diffstat (limited to 'infer.c')
-rw-r--r--infer.c1
1 files changed, 0 insertions, 1 deletions
diff --git a/infer.c b/infer.c
index 8367dce..0bf5e0f 100644
--- a/infer.c
+++ b/infer.c
@@ -81,7 +81,6 @@ static bool infer_from_type(Typer *tr, Type *match, Type *to, Identifier *idents
}
}
switch (match->kind) {
- case TYPE_VOID:
case TYPE_UNKNOWN:
case TYPE_BUILTIN:
break; /* nothing we can do here */