I have the following piece of c# code:
CodeContract knows that myClaimsIdentity is never null. But it complains that the
FindFirst(string) method might return null:
Warning CodeContracts: Possibly calling a method on a null reference. Do you expect that System.Security.Claims.ClaimsIdentity.FindFirst(System.String) returns non-null?
I do expect this, but how can I tell it to the CodeChecker? Of course I can't change the the
FindFirst(string) since it comes from an external library.