If a val# is defined by an implicit_def and it is being removed, all of the copies...