Add NEWS and deprecations for...

the tightening of signatures for zeros and ones.

NEWS.md

@@ -757,6 +757,16 @@ Deprecated or removed
  necessary, consider `fill!(similar(A[, opts...]), {one(eltype(A)) | zero(eltype(A))})`.
  For an algebraic multiplicative identity, consider `one(A)` ([#24656]).
 
+ * The `similar(dims->f(..., dims...), [T], axes...)` method to add offset array support
+ to a function `f` that would otherwise create a non-offset array has been deprecated.
+ Instead, call `f(..., axes...)` directly and, if needed, the offset array implementation
+ should add offset axis support to the function `f` directly ([#26733]).
+
+ * The functions `ones` and `zeros` used to accept any objects as dimensional arguments,
+ implicitly converting them to `Int`s. This is now deprecated; only `Integer`s or
+ `AbstractUnitRange`s are accepted as arguments. Instead, convert the arguments before
+ calling `ones` or `zeros` ([#26733]).
+
  * The `Operators` module is deprecated. Instead, import required operators explicitly
  from `Base`, e.g. `import Base: +, -, *, /` ([#22251]).
 

base/deprecated.jl

@@ -1557,7 +1557,7 @@ end
 @deprecate Crand Libc.rand false
 @deprecate Csrand Libc.srand false
 
-# Deprecate `similar(f, axes)`
+# Deprecate `similar(f, axes)` (PR #26733)
 @noinline function similar(f, shape::Tuple)
  depwarn("using similar(f, shape) to call `f` with axes `shape` is deprecated; call `f` directly and/or add methods such that it supports axes", :similar)
  f(to_shape(shape))
@@ -1566,6 +1566,16 @@ end
  depwarn("using similar(f, shape...) to call `f` with axes `shape` is deprecated; call `f` directly and/or add methods such that it supports axes", :similar)
  f(to_shape(dims))
 end
+# Deprecate non-integer/axis arguments to zeros/ones to match fill/trues/falses
+@deprecate zeros(::Type{T}, dims...) where {T} zeros(T, convert(Dims, dims)...)
+@deprecate zeros(dims...) zeros(convert(Dims, dims)...)
+@deprecate zeros(::Type{T}, dims::NTuple{N, Any}) where {T, N} zeros(T, convert(Dims, dims))
+@deprecate zeros(dims::Tuple) zeros(convert(Dims, dims))
+@deprecate ones(::Type{T}, dims...) where {T} ones(T, convert(Dims, dims)...)
+@deprecate ones(dims...) ones(convert(Dims, dims)...)
+@deprecate ones(::Type{T}, dims::NTuple{N, Any}) where {T, N} ones(T, convert(Dims, dims))
+@deprecate ones(dims::Tuple) ones(convert(Dims, dims))
+
 
 @deprecate showcompact(x) show(IOContext(stdout, :compact => true), x)
 @deprecate showcompact(io, x) show(IOContext(io, :compact => true), x)

test/arrayops.jl

@@ -2322,7 +2322,7 @@ end
  test_zeros(zeros(Int, (2, 3)), Matrix{Int}, (2,3))
 
  # #19265"
- @test_throws MethodError zeros(Float64, [1.])
+ @test_throws Any zeros(Float64, [1.]) # TODO: Tighten back up to MethodError once 0.7 deprecations are removed
 end
 
 # issue #11053