Fix assertion failure in coerce_unspec_val_to_type