What does this where clause mean?

fn perform_lookup<const KEYS: usize, const VALUES: usize>(
    &mut self,
    table_id: u32,
    keys: &[Variable; KEYS],
) -> [Variable; VALUES]
where
    [(); KEYS + VALUES]:;

The source code is here.