Details
Description
Building the attached project prints:
scalar prop: nonleaf
I would have expected:
scalar prop: export
Rationale is that products are "higher" in the precedence hierarchy than module.
One could also argue that they have the same precedence, in which case there should be the same warning/error as for the case where two higher-level modules clash.