presto-main/src/main/java/io/prestosql/type/TypeCoercion.java/TypeCoercion/isCompatible
class TypeCoercion:        public boolean isCompatible()
        {
            return commonSuperType.isPresent();
        }