> Presumably it prohibits certain kinds of parallelism? Actually it enables parallelism you couldn't do before, because now you're confident the compiler will

> Presumably it prohibits certain kinds of parallelism? Actually it enables parallelism you couldn't do before, because now you're confident the compiler will prove that what you're doing is safe.