簡単な例だと下記のコードは let initializer: (Int) -> String = String.init #expect([1, 2, 3].map(initializer).reduce("", +) == "123", verbose: true) こういうコードを生成して

PowerAssert.Assertion( #"#powerAssert([1, 2, 3].map(initializer).reduce("", +) == "123")"#, message: "", file: #""PowerAssertTests/PowerAssertTests.swift""#, line: 1712, verbose: true ) { $0.capture( $0.capture( $0.capture( $0.capture( [$0.capture(1, column: 14), $0.capture(2, column: 17), $0.capture(3, column: 20)], column: 13 ).map($0.capture(initializer.self, column: 27)), column: 23 ).reduce($0.capture("", column: 47), +), column: 40) == $0.capture("123", column: 57), column: 54) }.render()

swift test で実行した場合はunable to type-checkなんですけど手元の別のXcodeプロジェクトにコピーした場合は問題なかったり。よくわからない。