Trivial example
DollarAmt getSalary(EmployeeNum e)
Relatively standard declaration
Allows us to determine that there is no way for the value of e to flow to the result of the function
- Because they have different types
Another, perhaps more common, way to declare the same function
This doesn’t allow the direct inference that e’s value doesn’t flow to the function return
- Because they have the same type
Demands type inference mechanism for precision