After Optional.orElseThrow()，"userInfo" is not nullable

[Colin]

Hey there.

I’ve moved your post to the section on reporting a false-positive.

How to Report a False-positive / False-negative

Hey SonarSource Community! False-positives happen, as do false-negatives, and we’re eager to fix them. We are thrilled when our users report problems, so we can make our products better. What is a false-positive (FP)? A false-positive is when an issue is raised unexpectedly on code that should not trigger an issue, or where the suggested action doesn’t make any sense for the code. What is a false-negative (FN)? A false-negative is when an issue should be raised on a piece of code, but isn’t…

Please review this post and add additional information, particularly a text-based reproducer, not a screenshot.