the assignment target safe if the source already was explicitly marked safe