[Issue 11215] New: `inout` lose enclosing `shared` on resolution
d-bugmail at puremagic.com
d-bugmail at puremagic.com
Thu Oct 10 02:26:29 PDT 2013
http://d.puremagic.com/issues/show_bug.cgi?id=11215
Summary: `inout` lose enclosing `shared` on resolution
Product: D
Version: D2
Platform: All
OS/Version: All
Status: NEW
Keywords: wrong-code
Severity: normal
Priority: P2
Component: DMD
AssignedTo: nobody at puremagic.com
ReportedBy: verylonglogin.reg at gmail.com
--- Comment #0 from Denis Shelomovskij <verylonglogin.reg at gmail.com> 2013-10-10 13:26:28 MSD ---
E.g. `shared(inout(void)**)` is incorrectly resolved to
`shared(<qualifier>(void))**`.
---
shared(inout(void)**) f(inout int);
static assert(is(typeof(f(0)) == shared(void**))); // fails
static assert(is(typeof(f((const int).init)) == shared(const(void)**))); //
fails
---
--
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
More information about the Digitalmars-d-bugs
mailing list