It is not possible to enforce in runtime at least until Valhalla, but it is possible to check it in compile time. For example, introduce a bytecode flag and force compiler to check that all of members have this bytecode flag. Of course, it would require to either not use Java objects, or create some kind of automatic markings the same way kotlin treats Java nullability (I can state that it would never be null, but it still could throw NullPointerException). I do not say, it should be done this way, but it is possible in theory.
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Solution to data class list immutability problem thingy | 6 | 3256 | January 23, 2022 | |
| Val by Delegate (Bug or feature?) | 6 | 1073 | March 24, 2019 | |
| Exposing a Mutable member as Immutable | 30 | 20813 | March 19, 2021 | |
| Object immutability | 19 | 8063 | August 28, 2020 | |
|
Method parameters and mutable variables
|
6 | 35497 | February 3, 2017 |