Doug Gregor added a comment - 2 days ago This was super fun, to be resolved by https://github.com/apple/swift/pull/40544