The style guide treats builtin components as implicitly available, so users should write Lock, Del, FanIn, etc. without importing builtin explicitly.
Add compiler/analyzer validation that rejects explicit builtin imports in user modules, and add regression tests for the diagnostic.
Context: PR #1041 review noted that explicit builtin imports should likely be forbidden at compiler level.
The style guide treats builtin components as implicitly available, so users should write
Lock,Del,FanIn, etc. without importingbuiltinexplicitly.Add compiler/analyzer validation that rejects explicit
builtinimports in user modules, and add regression tests for the diagnostic.Context: PR #1041 review noted that explicit
builtinimports should likely be forbidden at compiler level.