La protección no se puede omitir
primitiva · shield
La regulación es parte del tipo de dato. Un flujo que mueve datos regulados sin la protección debida no compila — el mismo error que una falta de sintaxis.
No es que el sistema te avise si incumples. Es que el código que incumple no llega a existir.