fix missing implicit impls repoorting

[TomerStarkware]

No description provided.

[reviewable-StarkWare]

This change is 

[orizi]

Reviewed 3 of 3 files at r1, all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @TomerStarkware)

---

crates/cairo-lang-semantic/src/items/imp.rs line 2802 at r1 (raw file):

            return Err(diag);
        };
        resolver.inference().rewrite(imp).map_err(|_| skip_diagnostic())

Suggestion:

        let imp = resolver.inference().new_impl_var(concrete_trait_id, None, impl_lookup_context);
        resolver.inference().finalize_without_reporting().map_err(|(err_set, _)| {
            diagnostics.report(
                impl_def_id.stable_ptr(db.upcast()).untyped(),
                ImplicitImplNotInferred { trait_impl_id, concrete_trait_id },
            );
            resolver.inference().report_on_pending_error(
                err_set,
                &mut diagnostics,
                impl_def_id.stable_ptr(db.upcast()).untyped(),
            )
        }?;
        resolver.inference().rewrite(imp).map_err(|_| skip_diagnostic())

[TomerStarkware]

Reviewable status: 2 of 3 files reviewed, 1 unresolved discussion (waiting on @orizi)

---

crates/cairo-lang-semantic/src/items/imp.rs line 2802 at r1 (raw file):

            return Err(diag);
        };
        resolver.inference().rewrite(imp).map_err(|_| skip_diagnostic())

Done.

[orizi]

Reviewed 1 of 1 files at r2, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @TomerStarkware)

[orizi]

Reviewed 1 of 1 files at r3, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @TomerStarkware)

[orizi]

Reviewed 1 of 1 files at r4, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @TomerStarkware)