type defects should be detected at compile-time, n...
# random
p
type defects should be detected at compile-time, not runtime