we cannot skip the binding of TLocal because it might be affected by other arguments