# Fantastic progress in master branch!

**URL:** <https://discourse.julialang.org/t/fantastic-progress-in-master-branch/6868>\
**Category:** Internals & Design\
**Created:** [November 3, 2017, 8:39pm UTC](https://discourse.julialang.org/t/fantastic-progress-in-master-branch/6868 "2017-11-03T20:39:36Z")\
**Posts on this page:** 1\
**Showing post:** 5

<div class="post-metadata">

**Author:** ![pablosanjose](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/pablosanjose/32/7006_2.png) [@pablosanjose](https://discourse.julialang.org/u/pablosanjose)\
**Post date:** [November 3, 2017, 9:54pm UTC](https://discourse.julialang.org/t/fantastic-progress-in-master-branch/6868/5 "2017-11-03T21:54:58Z")

</div>

Thanks a lot! That begins to make sense. I assume it only applies to hard coded constants, not to user inputs?

So if someone does

```julia
function foo(a::AbstractArray{Bool})
  a[1] ? 1 : 2
end

```

and then calls `foo([true, false])`, will constant propagation allow to elide the `?` check altogether?

---

_[View the full topic](https://discourse.julialang.org/t/fantastic-progress-in-master-branch/6868)._