Notice that the method set for List does not actually contain Append int even though you can see from the above program that you can call the method without a problem This is a result of the second spec section above It implicitly translates the first line below into the second