question: How `get_ownable_mut` is resolved?

[maciejka]

Question regarding:

component-examples/dependency3/src/upgradable.cairo

Line 64 in fcbc56a

if self.get_ownable_mut().is_owner(get_caller_address()) {

How usage of get_ownable_mut method in line 64 is resolved? It is not clear from Upgradable declaration that TContractState implements GetOwnableTrait. Is there any implicit implementation discovery mechanism ?

[ArielElp]

The short answer is that because the impl is in the same module.
The longer answer is that it's not that TContractState implements GetOwnableTrait, but that we have the GetOwnable impl in the same module, which contains the function get_ownable_mut whose self argument is of the type ComponentState<TContractState>.