fn links_sub_links<'db>( env: &Env<'db>, lower_links: &[RedLink<'db>], upper_links: &[RedLink<'db>], ) -> Errors<bool>