| 707 | } |
| 708 | |
| 709 | Result TypeChecker::OnCallRef(Type type, |
| 710 | const TypeVector& param_types, |
| 711 | const TypeVector& result_types) { |
| 712 | Result result = PopAndCheck1Type(type, "call_ref"); |
| 713 | result |= PopAndCheckCall(param_types, result_types, "call_ref"); |
| 714 | return result; |
| 715 | } |
| 716 | |
| 717 | Result TypeChecker::OnReturnCall(const TypeVector& param_types, |
| 718 | const TypeVector& result_types) { |
no outgoing calls
no test coverage detected