workaround for wrong dart2js optimization

dartbug.com/10474