pub fn simplify_intersection(
builtin_types: *mut BuiltinTypes,
arena: *mut TypeArena,
left: TypeId,
right: TypeId,
) -> SimplifyResultpub fn simplify_intersection(
builtin_types: *mut BuiltinTypes,
arena: *mut TypeArena,
left: TypeId,
right: TypeId,
) -> SimplifyResult