# @assert inference

**URL:** <https://discourse.julialang.org/t/assert-inference/3264>\
**Category:** Internals & Design\
**Created:** [April 18, 2017, 9:37am UTC](https://discourse.julialang.org/t/assert-inference/3264 "2017-04-18T09:37:29Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![rleegates](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/rleegates/32/1029_2.png) [@rleegates](https://discourse.julialang.org/u/rleegates)\
**Post date:** [April 18, 2017, 9:37am UTC](https://discourse.julialang.org/t/assert-inference/3264/1 "2017-04-18T09:37:29Z")

</div>

Is this intermediate inference (failure) behavior intentional? (v0.5.0)

```julia
julia> f() = @assert 1==2
f (generic function with 1 method)

julia> @code_warntype f()
Variables:
  #self#::#f

Body:
  begin 
      unless (1 === 2)::Bool goto 3
      return
      3: 
      return (Base.throw)(((Core.getfield)((Core.getfield)(Base.Main,:Base)::Any,:AssertionError)::Any)("1 == 2")::Any)::Union{}
  end::Void

```