# This could mean that the source domain doesn't exist, but in
# that case, we just report that the source user doesn't
# exist. So a nonexistent domain refers to a nonexistent
# DESTINATION domain.
report(plugin, "Destination domain #{dst.domainpart()} not found.")
# This could mean that the source domain doesn't exist, but in
# that case, we just report that the source user doesn't
# exist. So a nonexistent domain refers to a nonexistent
# DESTINATION domain.
report(plugin, "Destination domain #{dst.domainpart()} not found.")