Merge pull request github#15922 from tamasvajk/buildless/namespace-extraction

C#: Handle namespace resolution error more gracefully

Author: tamasvajk

csharp/extractor/Semmle.Extraction.CSharp/Entities/NamespaceDeclaration.cs

@@ -27,7 +27,12 @@ public override void WriteId(EscapingTextWriter trapFile)
 
         public override void Populate(TextWriter trapFile)
         {
-            var @namespace = (INamespaceSymbol)Context.GetModel(node).GetSymbolInfo(node.Name).Symbol!;
+            var @namespace = (INamespaceSymbol?)Context.GetModel(node).GetSymbolInfo(node.Name).Symbol;
+            if (@namespace is null)
+            {
+                throw new InternalError(node, "Namespace symbol not found");
+            }
+
             var ns = Namespace.Create(Context, @namespace);
             trapFile.namespace_declarations(this, ns);
             trapFile.namespace_declaration_location(this, Context.CreateLocation(node.Name.GetLocation()));