Unlike `!!` the single-thread-usage precondition m...

# language-proposals

[ilya.gorbunov]

Unlike !! the single-thread-usage precondition may be not so easy and cheap to check in runtime.