Do not require module implementation units to import primray module interface implicitly R0 The other practices shows that this is a real need to fix real problems. Authors Chuanqi Xu Mailing 2026-09 Doc date 2026-09-10 Audience EWG P
