Actually what I said wasn't 100% correct. Though I still think the examples you gave are spec compliant.
Step 2 says to return the [[SourceText]] of the function if it is available and not blocked by the host. For arrow functions the [[SourceText]] is defined as matching the x => 1ECMAScript® 2023 Language Specification.
The part of the spec I think you are referring to is specifying what the toString should be if there is not source text for the function.