SE-0446: Nonescapable Types
forums.swift.org