2 ms·Does this also apply to Scala 3.0?by cryptos 5y agoDoes this also apply to Scala 3.0?Quekid5 5y agoNo. Its type system is sound. (Assuming the proofs hold and they've actually implemented what the proof is based on.)