bug: Crash when trying to make '==' with two into()

[gaetbout]

Bug Report

Cairo version:

Tried at commit f030973

Current behavior:
While trying to:
assert(contract_address1.into() == contract_address2.into(), 'Some message');

Makes me crash into:
thread 'main' panicked at 'Types should be fully resolved at this point.'

But if I do:
assert(contract_address1.into() == contract_address_to_felt(contract_address1), 'Some message');

It works, as the left side knows it should transform into the felt type to comply with the right side

Expected behavior:

It shouldn't complain and resolve a common type they both can agree on.

Other information:

Maybe ContractAddress should implement the PartialEq and Eq trait to not have to perform this operation.
But still it should be fixed