Why do you need this? I mean yeah, this is helpful feature, but is it really worth to use experimental language features not even released and enable future version of language that can be unstable or contains critical bugs? Because there are no cases where contracts are required to write correct code.