[Issue 15379] New: "final" attribute on function parameter

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=15379

          Issue ID: 15379
           Summary: "final" attribute on function parameter
           Product: D
           Version: D2
          Hardware: All
                OS: All
            Status: NEW
          Severity: normal
          Priority: P1
         Component: dlang.org
          Assignee: nobody at puremagic.com
          Reporter: goejendaagh at zonnet.nl

The grammar on Dlang.org tells me that "final" is a valid attribute on function
parameters (see "InOutX"), however I cannot find documentation of what that
means. dmd does not accept it on normal function parameters, only on template
parameters:

void foo(final int a); // error!
void bar(T)(final T a); // OK

We should either add documentation on what "final" means for a function
parameter, or fix the grammar if it is (no longer?) supported.

Thanks for any explanation,
 Johan

--