Can confirm, this also triggers on tuple unpacking:
public void Test()
var x = 0;
(x, var y) = (Random.Shared.Next(), Random.Shared.Next());
if (x == 0) // Linter complains that this is always *True* instead of the expected False.
Hi @m-gallesio and @ttphan. Thank you for providing the code samples. Both are confirmed to be False Positives. I’ve created Github issues for them. If you wish to track the progress then subscribe to these issues: