The implementation of MINRES in Krylov.jl now allows for a trust-region constraint and detection of nonpositive curvature.