tree 7c86184340bcdcc14fbaed5668752e7fa5eefb73
parent ba96f9c39b6177d8529698a6ff647c1b2e06f771
author Corentin Jabot <corentin.jabot@gmail.com> 1638897215 -0500
committer Copybara-Service <copybara-worker@google.com> 1638897397 -0800

Do not check if we are in a discared context in non-immediate contexts

This fixes in a regression introduced by 6eeda06c1.

When deducing the return type of nested function calls, only the
return type of the outermost expression should be ignored.

Instead of assuming all contextes nested in a discared statements
are themselves discarded, only assume that in immediate contexts.

Similarly, only consider contextes immediately in an immediate or
discarded statement as being themselves immediate.

GitOrigin-RevId: 2334314550724812bb94e36c6b5df7d665bdbd9d