[Compiler] Fix false positive for setState after await in useEffect #35732
+221
−0
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Summary
Fixes #34905
The
set-state-in-effectvalidation (ValidateNoSetStateInEffects) was incorrectly flaggingsetStatecalls that appear after anawaitexpression inside async functions called fromuseEffect.After an
await, execution continues asynchronously in a microtask — meaning thesetStatecall is no longer synchronous within the effect body and should not trigger this lint.Root cause
In
getSetStateCall(), the function walks through the HIR of the effect callback and returns the firstsetStatecall it finds, without distinguishing whether that call appears after anAwaitinstruction.Fix
Added
Awaitinstruction tracking within each block ingetSetStateCall():Awaitinstruction is encountered, aseenAwaitflag is set for the current blocksetStatecall in the same block after anAwaitis skipped (not reported as synchronous)This is a conservative fix scoped to intra-block tracking. Cross-block
awaitdominator analysis can be added as a follow-up if needed.How did you test this change?
Added 3 new test fixtures:
allow-setState-in-useEffect-after-awaitawaitviauseCallback+useEffect(exact issue repro)allow-setState-in-useEffect-async-callbackawaitin nested async function insideuseEffectinvalid-setState-in-useEffect-before-awaitawaitis still correctly flaggedAll existing tests continue to pass: