# New scope solution

**URL:** <https://discourse.julialang.org/t/new-scope-solution/16707>\
**Category:** Internals & Design\
**Tags:** proposal\
**Created:** [October 23, 2018, 8:58pm UTC](https://discourse.julialang.org/t/new-scope-solution/16707 "2018-10-23T20:58:16Z")\
**Posts on this page:** 1\
**Showing post:** 55

<div class="post-metadata">

**Author:** ![StefanKarpinski](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/stefankarpinski/32/24_2.png) [@StefanKarpinski](https://discourse.julialang.org/u/StefanKarpinski)\
**Post date:** [October 26, 2018, 12:25am UTC](https://discourse.julialang.org/t/new-scope-solution/16707/55 "2018-10-26T00:25:02Z")

</div>

> [@foobar\_lv2](#):
>
> Can you confirm that “every path” will take into account dead pathes?

Yes, it has to be a purely syntactic criterion. If you see a conditional, you consider all branches; if you see a loop you consider it being executed and not executed (for these purposes, a loop is equivalent to an `if` without an `else`). If there’s any `@goto` we should probably require explicit annotation of anything that is assigned.

---

_[View the full topic](https://discourse.julialang.org/t/new-scope-solution/16707)._