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
•int
getSalary(int e)
•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