Minor optimization for dart2js