We need `#fileName`

[DevAndArtist (Adrian Meister)]

Aside the pitch from @davedelong, I tried to create my own type to accumulate the context but I failed because the current static capturing behavior isn't that trivial as I initially thought.

Is this correct StaticString capturing behavior?

I wonder why the obtain function captures test while it's not really executed inside the scope of the test function. func obtain(_ s: StaticString = #function) -> StaticString { return s } func test( _ s1: StaticString = #function, _ s2: StaticString = obtain(), _ s3: StaticString = obtain(#function) ) { print(s1, s2, s3, #function) } func foo() { test() } foo() // prints "foo() test test test"

So it definitely requires a formal proposal and some compiler help to create such a type.