fn __symbol_type_mismatch() -> !