_checkTypeIn()

in src/js/other-websites/fathom.js [1636:1646]

• 11 lines of code
• 5 McCabe index (conditional complexity)

        _checkTypeIn(result, leftType) {
            if (this._types.size > 0) {
                if (result.type === undefined) {
                    if (!this._types.has(leftType)) {
                        throw new Error(`A right-hand side claimed, via typeIn(...) to emit one of the types ${this._types} but actually inherited ${leftType} from the left-hand side.`);
                    }
                } else if (!this._types.has(result.type)) {
                    throw new Error(`A right-hand side claimed, via typeIn(...) to emit one of the types ${this._types} but actually emitted ${result.type}.`);
                }
            }
        }