function foo()
      false && @inbounds (1,2,3)[1]
      return 1
end

julia> Base.infer_effects(foo)
(!c,+e,+n,+t,+s,+m)