Fixes for `module` and `include`. (#3519)

* Fix type checking of enum cases.

* Allow decl to have same name as module.

---------

Co-authored-by: Yong He <yhe@nvidia.com>

1 files changed, 6 insertions, 0 deletions

diff --git a/source/slang/slang-check-overload.cpp b/source/slang/slang-check-overload.cpp
index 2912a79b0..37c92a317 100644
--- a/source/slang/slang-check-overload.cpp
+++ b/source/slang/slang-check-overload.cpp
@@ -992,6 +992,12 @@ namespace Slang
         if(leftIsInterfaceRequirement != rightIsInterfaceRequirement)
             return int(leftIsInterfaceRequirement) - int(rightIsInterfaceRequirement);
 
+        // Any decl is strictly better than a module decl.
+        bool leftIsModule = (as<ModuleDeclarationDecl>(left.declRef) != nullptr);
+        bool rightIsModule = (as<ModuleDeclarationDecl>(right.declRef) != nullptr);
+        if(leftIsModule != rightIsModule)
+            return int(rightIsModule) - int(leftIsModule);
+
         // If both are interface requirements, prefer to more derived interface.
         if (leftIsInterfaceRequirement && rightIsInterfaceRequirement)
         {