fn download( spec: &ModelSpec, partial: &Path, on_progress: &mut (dyn FnMut(Progress) -> ControlFlow<()> + '_), ) -> Result<(), Error>