division_optimization

The operator x ~/ y is more efficient than (x / y).toInt().

The analyzer produces this diagnostic when the result of dividing two numbers is converted to an integer using toInt. Dart has a built-in integer division operator that is both more efficient and more concise.

The following code produces this diagnostic because the result of dividing x and y is converted to an integer using toInt:

int divide(int x, int y) => (x / y).toInt();

Use the integer division operator (~/):

int divide(int x, int y) => x ~/ y;

Unless stated otherwise, the documentation on this site reflects Dart 3.7.3. Page last updated on 2025-05-08. View source or report an issue.