Don't report inference diagnostics if there are other diagnostics.

[ilyalesokhin-starkware]

This change is 

[ilyalesokhin-starkware]

crates/cairo-lang-semantic/src/items/tests/early_conform line 1140 at r1 (raw file):

                                          ^*****^

error: Type annotations needed. Failed to infer ?0.

I wanted to skip only those errors; I'll try a different approach.

Code quote:

error: Type annotations needed. Failed to infer ?0.

[orizi]

Reviewed 8 of 10 files at r1, all commit messages.
Reviewable status: 8 of 10 files reviewed, 3 unresolved discussions (waiting on @ilyalesokhin-starkware)

---

crates/cairo-lang-semantic/src/diagnostic_test_data/tests line 180 at r1 (raw file):

             ^******^

error: Mismatched types. The type `core::bool` cannot be created from a numeric literal.

This seemed like a good diag

---

crates/cairo-lang-semantic/src/expr/test_data/function_call line 181 at r1 (raw file):

error: Trait has no implementation in context: core::traits::Add::<test::MyStruct>.
 --> lib.cairo:13:5

Seems like a regression as well.

[ilyalesokhin-starkware]

Reviewable status: 4 of 11 files reviewed, 3 unresolved discussions (waiting on @orizi)

---

crates/cairo-lang-semantic/src/diagnostic_test_data/tests line 180 at r1 (raw file):

Previously, orizi wrote…

This seemed like a good diag

Done.

---

crates/cairo-lang-semantic/src/expr/test_data/function_call line 181 at r1 (raw file):

Previously, orizi wrote…

Seems like a regression as well.

Done.

[orizi]

Reviewed 7 of 7 files at r2, all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion