ArcGIS-shaped FeatureFilter properties, for handing a compat filter to an ArcGIS construct that has not been migrated.

objectIds is narrowed to ArcGIS's number[] here, which is exactly the narrowing FeatureFilterCompat.toEsriProperties has to prove.

interface FeatureFilterEsriProperties {
    distance?: number;
    geometry?: FeatureFilterGeometryCompat;
    objectIds?: number[];
    spatialRelationship: FeatureFilterSpatialRelationshipCompat;
    timeExtent?: {
        end?: null | number | Date;
        start?: null | number | Date;
    };
    units?: string;
    where?: string;
}

Properties

distance?: number
objectIds?: number[]
timeExtent?: {
    end?: null | number | Date;
    start?: null | number | Date;
}
units?: string
where?: string