Span: Fix type used in is_convertible traits.

pan- · pan- · commit 913f219fc152 · 2018-08-29T19:42:46.000+01:00
diff --git a/platform/Span.h b/platform/Span.h
@@ -305,7 +305,7 @@ struct Span {
         _data(other.data())
     {
         MBED_STATIC_ASSERT(
-            (span_detail::is_convertible<OtherElementType (*)[], ElementType (*)[]>::value),
+            (span_detail::is_convertible<OtherElementType (*)[1], ElementType (*)[1]>::value),
             "OtherElementType(*)[] should be convertible to ElementType (*)[]"
         );
     }
@@ -594,7 +594,7 @@ struct Span<ElementType, SPAN_DYNAMIC_EXTENT> {
         _data(other.data()), _size(other.size())
     {
         MBED_STATIC_ASSERT(
-            (span_detail::is_convertible<OtherElementType (*)[], ElementType (*)[]>::value),
+            (span_detail::is_convertible<OtherElementType (*)[1], ElementType (*)[1]>::value),
             "OtherElementType(*)[] should be convertible to ElementType (*)[]"
         );
     }

Original file line number	Diff line number	Diff line change
`@@ -305,7 +305,7 @@ struct Span {`
`305`	`305`	`_data(other.data())`
`306`	`306`	`{`
`307`	`307`	`MBED_STATIC_ASSERT(`
`308`		`- (span_detail::is_convertible<OtherElementType ()[], ElementType ()[]>::value),`
	`308`	`+ (span_detail::is_convertible<OtherElementType ()[1], ElementType ()[1]>::value),`
`309`	`309`	`"OtherElementType()[] should be convertible to ElementType ()[]"`
`310`	`310`	`);`
`311`	`311`	`}`
`@@ -594,7 +594,7 @@ struct Span<ElementType, SPAN_DYNAMIC_EXTENT> {`
`594`	`594`	`_data(other.data()), _size(other.size())`
`595`	`595`	`{`
`596`	`596`	`MBED_STATIC_ASSERT(`
`597`		`- (span_detail::is_convertible<OtherElementType ()[], ElementType ()[]>::value),`
	`597`	`+ (span_detail::is_convertible<OtherElementType ()[1], ElementType ()[1]>::value),`
`598`	`598`	`"OtherElementType()[] should be convertible to ElementType ()[]"`
`599`	`599`	`);`
`600`	`600`	`}`