EOnumber$EOtimesTest fails

[asmirnov-backend]

EOnumber$EOtimesTest::throwsCorrectError fails with message

java.lang.AssertionError: the message in the error is correct
Expected: a string containing "number.times expects its second argument to be a number"
     but: was "Can't convert 1 bytes to java.lang.Double, exactly 8 bytes expected"
Expected :a string containing "number.times expects its second argument to be a number"
Actual   :"Can't convert 1 bytes to java.lang.Double, exactly 8 bytes expected"

Ref: #3461

[asmirnov-backend]

If .otherwise("number.times expects its second argument to be a number") will be added to EOnumber$EOtimes::lambda, the test will pass, but the error message will be:

org.eolang.ExFailure: the 'x' attribute Can't convert 1 bytes to java.lang.Double, exactly 8 bytes expected number.times expects its second argument to be a number

This error message has problems with punctuation and a bit not clear, because Expect::otherwise concat 3 parts: String.format("%s %s %s", this.subject, ex.getMessage(), message)
@yegor256 can you please leave a comment about this

[yegor256]

@asmirnov-backend see how it's done here: https://github.com/objectionary/eo/blob/bdad472f22b3475e5add0e793e5e22a8bf62509f/eo-runtime/src/main/java/EOorg/EOeolang/EObytes%24EOslice.java

[asmirnov-backend]

@yegor256 For EObytes$EOslice this code from test with small change for incorrect value

new Dataized(
    new PhWith(
        new PhWith(
            new Data.ToPhi("hello, world!")
                .take("as-bytes")
                .take("slice")
                .copy(),
            "start",
            new Data.ToPhi(2)
        ),
        "len",
        new Data.ToPhi(true) // incorrect value
    )
).take();

produces that error message

ERROR o.e.Dataized - Dataized to org.eolang.error with org.eolang.string inside, at:
  ⇢ 1) Error in "Φ.org.eolang.bytes.slice.Δ" at org.eolang.bytes:67:2
  ⇢ 2) "the 'len' attribute the 'len' attribute the 'len' attribute Can't convert 1 bytes to java.lang.Double, exactly 8 bytes expected must be a number must be an integer must be a positive integer"

Suppose that error message should be:
2) "the 'len' attribute must be a number"
or
2) "the 'len' attribute must be a number, must be an integer, must be a positive integer"?

[yegor256]

@asmirnov-backend indeed, this option is the excepted one:

"the 'len' attribute must be a number, must be an integer, must be a positive integer"

However, as I remember, the Expected class is supposed to be "fail fast": throw an exception at the first problem found.

[yegor256]

@asmirnov-backend there are some unit tests in the ExcpetTest file. I suggest first trying to add more tests there and reproduce desirable behavior. Then, fix bugs if they exist.