@assert inference

Internals & Design
1

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

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