`all_negative_narrowing_constraints_for_expression -> core::option::Option<std::collections::hash::map::HashMap<ty_python_semantic::semantic_index::place::ScopedPlaceId, ty_python_semantic::types::narrow::NarrowingConstraint<'_>, rustc_hash::FxBuildHasher>>`