The compile should fail for code like:

int foo = 22;
bool bar = foo;

because of the loss of precision when converting foo to bar.

As motivation, the absence of this check led to an M69 regression. See  crbug.com/884185 .