Possible in !dlang :

static assert(!__traits(compiles,{ ... }))

Assert that { ... } does not compile. In this case, that a scope is enforced properly.

https://github.com/nordlow/phobos-next/blob/cc4b53d5eec601ee39a691de05bc1478db1aa02f/src/soa.d#L216