Statement type change
Check of module strict types system that statement does not change type
Noncompliant Code Example
Compliant Solution
See