diff options
Diffstat (limited to 'src/mir/check.cpp')
| -rw-r--r-- | src/mir/check.cpp | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/src/mir/check.cpp b/src/mir/check.cpp index 89e75924..aa76139f 100644 --- a/src/mir/check.cpp +++ b/src/mir/check.cpp @@ -350,7 +350,11 @@ void MIR_Validate(const StaticTraitResolve& resolve, const ::HIR::ItemPath& path PUSH_BB(e.targets[i], "Switch V" << i); } ), - (Call, + (CallValue, + PUSH_BB(e.ret_block, "Call ret"); + PUSH_BB(e.panic_block, "Call panic"); + ), + (CallPath, PUSH_BB(e.ret_block, "Call ret"); PUSH_BB(e.panic_block, "Call panic"); ) @@ -566,7 +570,10 @@ void MIR_Validate(const StaticTraitResolve& resolve, const ::HIR::ItemPath& path (Switch, // Check that the condition is an enum ), - (Call, + (CallValue, + // Typecheck arguments and return value + ), + (CallPath, // Typecheck arguments and return value ) ) |