Method push_unmaterializable

src/expr/src/interpret.rs:839–845

Restrict the set of possible values a given unmaterializable func might return. (By intersecting it with the existing spec.)

(&mut self, func: UnmaterializableFunc, update: ResultSpec<'a>)

    /// Restrict the set of possible values a given unmaterializable func might return. (By
    /// intersecting it with the existing spec.)
    pub fn push_unmaterializable(&mut self, func: UnmaterializableFunc, update: ResultSpec<'a>) {
        let range = self
            .unmaterializables
            .entry(func.clone())
            .or_insert_with(|| ResultSpec::has_type(&func.output_type(), true));
        *range = range.clone().intersect(update);
    }

    fn eval_result<'b, E>(&self, result: Result<Datum<'b>, E>) -> ResultSpec<'a> {
        match result {