On Wednesday, 28 February 2024 at 14:17:44 UTC, Timon Gehr wrote: > > - It would make sense to elaborate on `@disable`d copy > constructors. This is similar to not implementing the `Copy` > trait in Rust. The resulting values can only be moved. > Also, no discussion of `@disable`d move constructors.