Integer narrowing is dangerous and should always be explicit. The fact that it is still implicitly possible at assignment doesn't mean it should be tolerated at

Integer narrowing is dangerous and should always be explicit. The fact that it is still implicitly possible at assignment doesn't mean it should be tolerated at type construction - personally I have saved hundreds of hours of bug fixing since I started consistently initializing integers with {}.