Made all basic derives be based on members.

[orizi]

Stack:

• Added generics support for storage-interface attrs. #7340
• Refactored and testing of storage interfaces. #7336
• Moved DeriveInfo to PluginTypeInfo. #7335
• Made Store based on derive-info. #7334
• Extract DeriveInfo into utils. #7333
• Made all basic derives be based on members. #7321 ⬅

⚠️ Part of a stack created by spr. Do not merge manually using the UI - doing so may have unexpected results.

[reviewable-StarkWare]

This change is 

[gilbens-starkware]

Reviewed all commit messages.
Reviewable status: 0 of 43 files reviewed, 1 unresolved discussion (waiting on @ilyalesokhin-starkware)

---

crates/cairo-lang-plugins/src/plugins/derive/mod.rs line 203 at r2 (raw file):

        let derived_trait_name = derived_trait.split("::").last().unwrap_or(derived_trait);
        format!(
            "impl {name}{derived_trait_name}<{generics}> of {derived_trait}::<{full_typename}>",

generics can be empty.

Code quote:

<{generics}>

[orizi]

Reviewable status: 0 of 43 files reviewed, 1 unresolved discussion (waiting on @gilbens-starkware and @ilyalesokhin-starkware)

---

crates/cairo-lang-plugins/src/plugins/derive/mod.rs line 203 at r2 (raw file):

Previously, gilbens-starkware (Gil Ben-Shachar) wrote…

generics can be empty.

it can be - but doesn't really matter.

[ilyalesokhin-starkware]

Reviewable status: 0 of 43 files reviewed, 2 unresolved discussions (waiting on @gilbens-starkware)

---

corelib/src/internal.cairo line 21 at r2 (raw file):

}

/// Helper to have the same outside signature as `DropWith` and `DestructWith`.

what is an outside signature?

Code quote:

outside signature 

[orizi]

Reviewable status: 0 of 43 files reviewed, 2 unresolved discussions (waiting on @gilbens-starkware and @ilyalesokhin-starkware)

---

corelib/src/internal.cairo line 21 at r2 (raw file):

Previously, ilyalesokhin-starkware wrote…

what is an outside signature?

Done
I mostly mean that it would look the same as the other 2 for users.
the word "outside" is useless here.
renamel to "PanicDestructInferred"

[gilbens-starkware]

Reviewable status: 0 of 43 files reviewed, 2 unresolved discussions (waiting on @ilyalesokhin-starkware)

---

crates/cairo-lang-plugins/src/test_data/derive line 51 at r4 (raw file):

    a: A,
    b: B,
}

Suggestion:

#[derive(Clone, Debug, Default, Destruct, Hash, PanicDestruct, PartialEq, Serde)]
struct TwoMemberStruct {
    a: A,
    b: B,
}

#[derive(Clone, Debug, Default, Destruct, Hash, PanicDestruct, PartialEq, Serde)]
struct TwoSameTypeMemberStruct {
    a1: A,
    a2: A,
}

[ilyalesokhin-starkware]

Reviewed 1 of 43 files at r1.
Reviewable status: 1 of 43 files reviewed, 1 unresolved discussion (waiting on @orizi)

[orizi]

Reviewable status: 1 of 43 files reviewed, 1 unresolved discussion (waiting on @gilbens-starkware and @ilyalesokhin-starkware)

---

crates/cairo-lang-plugins/src/test_data/derive line 51 at r4 (raw file):

    a: A,
    b: B,
}

Done.

[gilbens-starkware]

Reviewed 23 of 43 files at r1, 2 of 3 files at r3, 16 of 16 files at r4, 2 of 2 files at r6, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @orizi)

[ilyalesokhin-starkware]

Reviewed 3 of 43 files at r1, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @orizi)