• d-bugmail puremagic.com (33/33) Feb 12 2021 https://issues.dlang.org/show_bug.cgi?id=21632

d-bugmail puremagic.com writes:

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

          Issue ID: 21632
           Summary: Constructor flow analysis doesn't understand lambdas
           Product: D
           Version: D2
          Hardware: All
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: P1
         Component: dmd
          Assignee: nobody puremagic.com
          Reporter: snarwin+bugzilla gmail.com

Example program:

---
struct MustInit
{
     disable this();
}

struct S
{
    MustInit mem;
    this(MustInit val) {
        ()  trusted { mem = val; }();
    }
}
---

Output from DMD 2.095.0:

---
bug.d(9): Error: constructor `bug.S.this` field `mem` must be initialized but
skipped
---

--