Fix `check_default_type_multi` and `check_default_type_multi2`