diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/type-checker.cc | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/type-checker.cc b/src/type-checker.cc index 72b86cb4..7c14b6db 100644 --- a/src/type-checker.cc +++ b/src/type-checker.cc @@ -528,10 +528,8 @@ Result TypeChecker::OnTryBlock(const TypeVector* sig) { Result TypeChecker::OnTeeLocal(Type type) { Result result = Result::Ok; - Type value = Type::Any; - COMBINE_RESULT(result, CheckTypeStackLimit(1, "tee_local")); - COMBINE_RESULT(result, TopType(&value)); - COMBINE_RESULT(result, CheckType(value, type, "tee_local")); + COMBINE_RESULT(result, PopAndCheck1Type(type, "tee_local")); + PushType(type); return result; } |