github
diff --git a/‎csharp/extractor/Semmle.Extraction.CSharp/Entities/Attribute.cs‎
Lines changed: 1 addition & 1 deletion b/‎csharp/extractor/Semmle.Extraction.CSharp/Entities/Attribute.cs‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎csharp/extractor/Semmle.Extraction.CSharp/Entities/NonGeneratedSourceLocation.cs‎
Lines changed: 1 addition & 1 deletion b/‎csharp/extractor/Semmle.Extraction.CSharp/Entities/NonGeneratedSourceLocation.cs‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎csharp/extractor/Semmle.Extraction/Entities/Base/CachedEntity`1.cs‎
Lines changed: 2 additions & 0 deletions b/‎csharp/extractor/Semmle.Extraction/Entities/Base/CachedEntity`1.cs‎
Lines changed: 2 additions & 0 deletions
@@ -91,7 +91,7 @@ private void ExtractArguments(TextWriter trapFile)
                     // The current argument is not named
                     // so the previous ones were also not named
                     // so the child index matches the parameter index.
-                    isParamsParameter = Symbol?.AttributeConstructor?.Parameters[childIndex].IsParams == true;
+                    isParamsParameter = Symbol.AttributeConstructor?.Parameters[childIndex].IsParams == true;
                     argSyntax = ctorArguments[childIndex];
                 }
 
 
@@ -22,7 +22,7 @@ public override void Populate(TextWriter trapFile)
                 Position.Span.Start.Line + 1, Position.Span.Start.Character + 1,
                 Position.Span.End.Line + 1, Position.Span.End.Character);
 
-            var mapped = Symbol!.GetMappedLineSpan();
+            var mapped = Symbol.GetMappedLineSpan();
             if (mapped.HasMappedPath && mapped.IsValid)
             {
                 var mappedLoc = Create(Context, Location.Create(mapped.Path, default, mapped.Span));
 
@@ -1,3 +1,4 @@
+using System.Diagnostics.CodeAnalysis;
 using System.IO;
 using Microsoft.CodeAnalysis;
 
@@ -30,6 +31,7 @@ protected CachedEntity(Context context) : base(context)
     /// <typeparam name="TSymbol">The type of the symbol.</typeparam>
     public abstract class CachedEntity<TSymbol> : CachedEntity where TSymbol : notnull
     {
+        [NotNull]
         public TSymbol Symbol { get; }
 
         protected CachedEntity(Context context, TSymbol symbol) : base(context)
Original file line number	Diff line number	Diff line change
@@ -91,7 +91,7 @@ private void ExtractArguments(TextWriter trapFile)
91	91	// The current argument is not named
92	92	// so the previous ones were also not named
93	93	// so the child index matches the parameter index.
94		- isParamsParameter = Symbol?.AttributeConstructor?.Parameters[childIndex].IsParams == true;
	94	+ isParamsParameter = Symbol.AttributeConstructor?.Parameters[childIndex].IsParams == true;
95	95	argSyntax = ctorArguments[childIndex];
96	96	}
97	97
Original file line number	Diff line number	Diff line change
@@ -22,7 +22,7 @@ public override void Populate(TextWriter trapFile)
22	22	Position.Span.Start.Line + 1, Position.Span.Start.Character + 1,
23	23	Position.Span.End.Line + 1, Position.Span.End.Character);
24	24
25		- var mapped = Symbol!.GetMappedLineSpan();
	25	+ var mapped = Symbol.GetMappedLineSpan();
26	26	if (mapped.HasMappedPath && mapped.IsValid)
27	27	{
28	28	var mappedLoc = Create(Context, Location.Create(mapped.Path, default, mapped.Span));