Codegen differences between explicit and implicit Optional unwrap

Recently I found that implicit Optional unwrap seems to incur more copy operations in our internal codebase, and I've reproduced it in Compiler Explorer:

Is this behavior unknown and unexpected? If that's the case I'd submit an issue.

Could you show the Swift code that produced each result?

You can minimize the diff view at the top-right corner in the Compiler Explorer to see the respective code editors.

Ah, thanks