3 days ago [Issue 24866] New: Inconsistent behavior in safe checking of conversion to void | ||||
---|---|---|---|---|
| ||||
https://issues.dlang.org/show_bug.cgi?id=24866 Issue ID: 24866 Summary: Inconsistent behavior in safe checking of conversion to void Product: D Version: D2 Hardware: All OS: All Status: NEW Severity: normal Priority: P1 Component: dmd Assignee: nobody@puremagic.com Reporter: bugzilla@digitalmars.com ``` @safe: struct T { int* a,b,c; } void bar(void[24]); void gee(void*); void test() { static T t; gee(&t); // no error bar(cast(void[24])t); // cast from `T` to `void[24]` not allowed in safe code } ``` Both should be allowed or both should error. -- |
Copyright © 1999-2021 by the D Language Foundation