The trait users' packages aren't actually changed by method addition to the trait itself. So they should not be marked dirty just because trait method is propagated to its users.
The trait users' packages aren't _actually changed_ by method addition to the trait itself. So they should not be marked dirty just because trait method is propagated to its users.
The trait users' packages aren't actually changed by method addition to the trait itself. So they should not be marked dirty just because trait method is propagated to its users.