areCompatibleThroughWideningReferenceConversion