Skip to content

Commit

Permalink
call instance property as method makes no sense in VB context
Browse files Browse the repository at this point in the history
  • Loading branch information
mary-georgiou-sonarsource committed Jul 11, 2024
1 parent 52bebe8 commit 5cc5a3d
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -115,7 +115,7 @@ protected override ProgramState[] Process(SymbolicContext context, IInvocationOp
&& reducedFrom.Parameters.First().HasNotNullAttribute()
&& invocation.Instance.TrackedSymbol(state) is { } instanceSymbol)
{
state = state.SetSymbolConstraint(instanceSymbol, ObjectConstraint.NotNull);
state = state.SetSymbolConstraint(instanceSymbol, ObjectConstraint.NotNull);
}
state = CollectionTracker.LearnFrom(state, invocation);

Expand Down

0 comments on commit 5cc5a3d

Please sign in to comment.