Explicit type annotation to support discoverability between bridging / implicitly convertable types

I wonder whether the same technique being pitched here is just as applicable in this case, too.