This looks like a regression because we used to correctly diagnose this in Swift 5, but since 5.1 this is crashing.