Infeasibility

Is there a way to get some more information about why a JuMP.Model is infeasible, like e.g. Gurobi has?

See https://github.com/JuliaOpt/JuMP.jl/issues/2185 I just updated my post with an example.