Method matchType

include/ast/type.h:301–304

Validator: Match two defined types in the same module.

public:
  /// Validator: Match two defined types in the same module.
  static bool matchType(Span<const SubType *const> TypeList, uint32_t ExpIdx,
                        uint32_t GotIdx) noexcept {
    return matchType(TypeList, ExpIdx, TypeList, GotIdx);
  }

  /// Validator: Match two composite types in the same module.
  static bool matchType(Span<const SubType *const> TypeList,