presto-main/src/main/java/io/prestosql/type/TypeCoercion.java/TypeCoercion/getCommonSuperType
class TypeCoercion:        public Type getCommonSuperType()
        {
            checkState(commonSuperType.isPresent(), "Types are not compatible");
            return commonSuperType.get();
        }