# Why isn't \`size\` always inferred to be an Integer?

**URL:** https://discourse.julialang.org/t/why-isnt-size-always-inferred-to-be-an-integer/75139
**Category:** General Usage
**Tags:** inference, compilation
**Created:** [January 24, 2022, 4:09pm UTC](https://discourse.julialang.org/t/why-isnt-size-always-inferred-to-be-an-integer/75139 "2022-01-24T16:09:16Z")
**Posts on this page:** 1
**Showing post:** 7

<div class="post-metadata">

### Author: ![DNF](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/dnf/32/10191_2.png) [@DNF](https://discourse.julialang.org/u/DNF)
#### Post date: [January 24, 2022, 5:33pm UTC](https://discourse.julialang.org/t/why-isnt-size-always-inferred-to-be-an-integer/75139/7 "2022-01-24T17:33:34Z")

</div>

> [@joa-quim](#):
>
> The docs seem clear

I don’t think the compiler reads the docs. If it can’t prove it, it has to be `Any`. I mean, how else could it work?

---

_[View the full topic](https://discourse.julialang.org/t/why-isnt-size-always-inferred-to-be-an-integer/75139)._