NoImplicitWidening
DRAFT
Observed

NoImplicitWidening
Incorrect

Smaller types are never automatically converted into bigger ones without an explicit cast

Correct

Smaller types can be automatically converted into bigger ones even without an explicit cast