private void backwardsInferenceFromCallSite ( Node n , FunctionType fnType , FlowScope scope ) { boolean updatedFnType = inferTemplatedTypesForCall ( n , fnType , scope ) ; if ( updatedFnType ) { fnType = n . getFirstChild ( ) . getJSType ( ) . toMaybeFunctionType ( ) ; } updateTypeOfArguments ( n , fnType ) ; updateBind ( n ) ; }
We only do forward type inference . We do not do full backwards type inference .