Fixed crash in resolution where, after reporting an error, the cases #type and #module were not handled

1 files changed, 4 insertions, 0 deletions

diff --git a/Source/Dafny/Resolver.cs b/Source/Dafny/Resolver.cs
index e3083133..e977dbd5 100644
--- a/Source/Dafny/Resolver.cs
+++ b/Source/Dafny/Resolver.cs
@@ -4491,6 +4491,10 @@ namespace Microsoft.Dafny
           // something is wrong; either aa or bb wasn't properly resolved, or they don't unify

           return false;

         }

+      } else if (a is Resolver_IdentifierExpr.ResolverType_Type) {

+        return b is Resolver_IdentifierExpr.ResolverType_Type;

+      } else if (a is Resolver_IdentifierExpr.ResolverType_Module) {

+        return b is Resolver_IdentifierExpr.ResolverType_Module;

       } else {

         Contract.Assert(false); throw new cce.UnreachableException();  // unexpected type

       }