Added more data for missing method diagnostic.

[orizi]

This change is 

[gilbens-starkware]

Reviewed 2 of 8 files at r1, 2 of 5 files at r2, 1 of 1 files at r3, all commit messages.
Reviewable status: 5 of 9 files reviewed, 1 unresolved discussion (waiting on @orizi)

---

crates/cairo-lang-semantic/src/diagnostic.rs line 536 at r3 (raw file):

                                err.format(db)
                            ))
                            .join("\n")

Consider adding an InferenceErrors type which will implement Display to avoid the map duplication below.

Code quote:

                        inference_errors
                            .iter()
                            .map(|(trait_member, err)| format!(
                                "Candidate `{}` inference failed with: {}",
                                trait_member.full_path(db.upcast()),
                                err.format(db)
                            ))
                            .join("\n")

[orizi]

Reviewable status: 5 of 9 files reviewed, 1 unresolved discussion (waiting on @gilbens-starkware)

---

crates/cairo-lang-semantic/src/diagnostic.rs line 536 at r3 (raw file):

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

Consider adding an InferenceErrors type which will implement Display to avoid the map duplication below.

Done.

[gilbens-starkware]

Reviewed 2 of 8 files at r1, 2 of 5 files at r2, 2 of 2 files at r4, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @orizi)