| 618 | } |
| 619 | |
| 620 | static Type convertRefNullToRef(Type type) { |
| 621 | if (type == Type::ExternRef || type == Type::FuncRef) { |
| 622 | return Type(type, Type::ReferenceNonNull); |
| 623 | } |
| 624 | |
| 625 | assert(type.IsReferenceWithIndex()); |
| 626 | return Type(Type::Ref, type.GetReferenceIndex()); |
| 627 | } |
| 628 | |
| 629 | Result TypeChecker::OnBrOnNonNull(Index depth) { |
| 630 | Type actual; |
no test coverage detected