[Issue 22387] New: Noreturn init loses type qualifiers

d-bugmail at puremagic.com d-bugmail at puremagic.com
Thu Oct 14 12:31:16 UTC 2021


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

          Issue ID: 22387
           Summary: Noreturn init loses type qualifiers
           Product: D
           Version: D2
          Hardware: All
                OS: All
            Status: NEW
          Severity: normal
          Priority: P1
         Component: dmd
          Assignee: nobody at puremagic.com
          Reporter: moonlightsentinel at disroot.org

The initializer generated by noreturn.init is missing qualifiers when using
const noreturn, ...:

Only the first assert passes:

static assert(is(typeof(noreturn.init) == noreturn));
static assert(is(typeof((const noreturn).init) == const noreturn));
static assert(is(typeof((immutable noreturn).init) == immutable noreturn));
static assert(is(typeof((shared noreturn).init) == shared noreturn));

--


More information about the Digitalmars-d-bugs mailing list