There's no way AFAIK to view generated Swift for these kinds of things. The synthesis happens inside of the compiler, and is just inserted into the AST. That being said, you can see the emitted SIL/IR/asm for them by passing the various -emit-
options.
Edit: By that logic, you can also pass -dump-ast and -print-ast to see the synthesis as well.