# Unexpected subtyping behavior \<:

**URL:** <https://discourse.julialang.org/t/unexpected-subtyping-behavior/31701>\
**Category:** General Usage\
**Tags:** type\
**Created:** [November 30, 2019, 8:05pm UTC](https://discourse.julialang.org/t/unexpected-subtyping-behavior/31701 "2019-11-30T20:05:58Z")\
**Posts on this page:** 1\
**Showing post:** 2

<div class="post-metadata">

**Author:** ![Mattriks](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/mattriks/32/351_2.png) [@Mattriks](https://discourse.julialang.org/u/Mattriks)\
**Post date:** [November 30, 2019, 8:08pm UTC](https://discourse.julialang.org/t/unexpected-subtyping-behavior/31701/2 "2019-11-30T20:08:08Z")

</div>

> [@Array{T, 1} where T\<:Real versus Array{T where T\<:Real, 1}](https://discourse.julialang.org/t/array-t-1-where-t-real-versus-array-t-where-t-real-1/31249):
>
> T1 = Array{T, 1} where T\<:Real represents all possible arrays of the form [T, T, T, T, . . .], i.e., any array of T1 consists of elements of the subtype of Real and they have to be of same type. On the other hand, T2 = Array{T where T\<:Real, 1} represents all possible arrays of the form [T, T', T'', T''', ...]. So any array of T2 consists of elements of subtypes of Real but they could be of different types to each other. Therefore I feel it is obvious that T2 can represent broader range of v…

---

_[View the full topic](https://discourse.julialang.org/t/unexpected-subtyping-behavior/31701)._