fixes #25116; default(T) breaks requiresInit requirements

[ringabout]

fixes #25116

[ringabout]

It's really annoying for range types though, I would expect tons of misusages of ranges

let z: seq[range['a'..'z']] = @['c']

Otherwise stdlibs need a requireInit typetraits for using zeroDefault for types requiring explicit initialization

[Araq]

The stdlib should use more zeroDefault then, why would it need yet another trait.

[ringabout]

proc arrayWithDefault*[T](size: static int): array[size, T] {.noinit, nodestroy, raises: [].} =
  ## Creates a new array filled with `default(T)`.
  for i in 0..size-1:
    result[i] = default(T)


proc setLen[T](s: var seq[T], newlen: Natural) {.nodestroy.} =
  ...
  for i in oldLen..<newlen:
    xu.p.data[i] = default(T)

arrayWithDefault and setLen need default to set default values for objects with default value fields or ranges types