Swift中的底部类型

我想知道Swift语言中是否存在底部类型.

为了预先消除任何混淆,单位类型与底部类型不同,正如我们所说的那样Void或()在swift中.也Any就是顶级型.

什么我发现是最接近,令人惊讶的,是@noreturn在形式属性fatalError()中,我们可以主要通过这个功能,以符合最任意给定类型.

但是,当然,这是不完整的,因此是真正的底部类型的不良替代品,例如,Nothing在Scala,undefinedHaskell甚至nullJava中.

那么,Swift语言中是否存在底层类型？