• d-bugmail puremagic.com (35/35) May 19 2022 https://issues.dlang.org/show_bug.cgi?id=23127

d-bugmail puremagic.com writes:

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

          Issue ID: 23127
           Summary:  safe inference seems to depend on semantic analysis
                    order
           Product: D
           Version: D2
          Hardware: All
                OS: All
            Status: NEW
          Severity: major
          Priority: P1
         Component: dmd
          Assignee: nobody puremagic.com
          Reporter: kinke gmx.net

Created attachment 1853
  --> https://issues.dlang.org/attachment.cgi?id=1853&action=edit
4 source modules

The attached archive contains 4 dustmited modules. With DMD v2.100.0, all 4
modules can be individually compiled just fine.

With `-allinst` however, compiling `variant.d` (alone) fails with:
-----
rbtree.d(36): Error: ` safe` function `rbtree.RedBlackTree!(Pair,
lessPairKeys).RedBlackTree.toHash` cannot call ` system` function
`rbtree.RBRange!(RBNode!(Pair)*).RBRange.popFront`
rbtree.d(22):        `rbtree.RBRange!(RBNode!(Pair)*).RBRange.popFront` is
declared here
statictypes.d(12): Error: template instance `rbtree.RedBlackTree!(Pair,
lessPairKeys)` error instantiating
statictypes.d(15):        instantiated from here: `Map!(string, SType)`
-----

The 3 other modules compile fine with `-allinst` too.

Prepending another root module works: `dmd -o- -allinst statictypes.d
variant.d`. Swapping the root modules order makes it fail again: `dmd -o-
-allinst variant.d statictypes.d`

--