Major Description
Whether an address and/or instance is in a VPC can be determined from attributes, so the value of the parameter must have can be determined from other arguments. (There can also be sanity checking, to ensure that a classic EIP isn't associated to a VPC instance, or vice-versa).
ex_disassociate_address should also get this treatement.