Field sensitivity lost with nested structs.

[JustusAdam]

In this example the graph contains a dependency from the old img.user when the field is overwritten.

struct User {
    name: String,
}

struct Image {
    user: User,
    name: String,
}

for mut img in Image::for_user(&user) {
    img.user = User {
        name: "dummy".to_string(),
    };
    img.name = "dummy".to_string();
    img.delete()
}