October 17, 2020 [Issue 21320] New: @live mistakes borrowed pointer for owner in parameter | ||||
---|---|---|---|---|
| ||||
https://issues.dlang.org/show_bug.cgi?id=21320 Issue ID: 21320 Summary: @live mistakes borrowed pointer for owner in parameter Product: D Version: D2 Hardware: All OS: All Status: NEW Severity: normal Priority: P1 Component: dmd Assignee: nobody@puremagic.com Reporter: bugzilla@digitalmars.com The code: void free(int*); @live void test1(scope int* p) { free(p); // should be an error because p is borrowed } -- |
Copyright © 1999-2021 by the D Language Foundation