Cherry-pick commits lost in rebranch#2417
Merged
adrian-prantl merged 3 commits intoswiftlang:swift/mainfrom Feb 3, 2021
Merged
Cherry-pick commits lost in rebranch#2417adrian-prantl merged 3 commits intoswiftlang:swift/mainfrom
adrian-prantl merged 3 commits intoswiftlang:swift/mainfrom