August 23, 2023
https://issues.dlang.org/show_bug.cgi?id=24105

          Issue ID: 24105
           Summary: Dip1000 C variadics not marked as scope should not
                    accept scope arguments
           Product: D
           Version: D2
          Hardware: All
                OS: All
            Status: NEW
          Severity: normal
          Priority: P1
         Component: dmd
          Assignee: nobody@puremagic.com
          Reporter: bugzilla@digitalmars.com

Compile with -preview=dip1000:

@safe:

extern (C) void ben(int f, scope ...);
extern (C) void jer(int f, ...);

void bar(scope const char* p)
{
    ben(3, p); // works
    jer(3, p); // should fail
}

--