3 ms·I mean, `T | Bottom` is the same type as `T`, so what you're saying is vacuously true.by aliceryhl 6y agoI mean, `T | Bottom` is the same type as `T`, so what you're saying is vacuously true.