presto-main/src/main/java/io/prestosql/type/TypeCoercion.java/TypeCompatibility/compatible
class TypeCompatibility:        private static TypeCompatibility compatible(Type commonSuperType, boolean coercible)
        {
            return new TypeCompatibility(Optional.of(commonSuperType), coercible);
        }