• d-bugmail puremagic.com (32/32) Nov 22 2020 https://issues.dlang.org/show_bug.cgi?id=21415

d-bugmail puremagic.com writes:

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

          Issue ID: 21415
           Summary: catch immutable exceptions breaks immutable
           Product: D
           Version: D2
          Hardware: All
                OS: All
            Status: NEW
          Severity: normal
          Priority: P1
         Component: dmd
          Assignee: nobody puremagic.com
          Reporter: destructionator gmail.com

---
immutable foo = new Exception("omg");

void main() {
        import std.stdio;
        try {
                //throw foo;
                throw new Exception("wtf");
        } catch(immutable Exception e) {
                //e.msg = "broken";
                writeln("caught ", e);
        }
}
---

In that example, it silently casts the mutable Exception to immutable.

If you throw foo and catch Exception, it silently casts the immutable Exception
to mutable. So the mutability stuff is lost here.

(I was exploring throwing immutable static exceptions as a possibility for
nogc)

--