Non-copyable and immovable types will have to be explicitly initialized, as if they had @disable this(), as they can't even be initialized with .init:
It's an interesting idea but I can't even begin to fathom how much code this would break. So much D code relies on every type having a valid .init.
