pub fn write_pkg_lockfile(
    ws: &Workspace<'_>,
    resolve: &mut Resolve
) -> CargoResult<()>