Fetch analysis crate directly from the upstream git

Instead of keeping a copy of analysis, we can fetch it directly from the upstream git repository.

Note that to improve network use, a shallow copy is explicitly used (see .cargo/config.toml).

The latest version of analysis (with a small change to the Cargo.toml) makes cargo a bit buggy due to a weird dependency hole, which may be fixed in a newer version of cargo.

Furthermore, due to the cargo configuration of prusti, cargo must be configured with the -Zbindeps flags (see flake.nix).

flake.nix

@@ -70,23 +70,25 @@
           sha256 = "sha256-0NR5RJ4nNCMl9ZQDA6eGAyrDWS8fB28xIIS1QGLlOxw=";
         };
 
-        cargo-bindeps = pkgs.symlinkJoin {
-          name = "cargo-bindeps";
-          paths = [pkgs.cargo];
-          nativeBuildInputs = [pkgs.makeWrapper];
-          postBuild = ''
-            wrapProgram $out/bin/cargo \
-              --add-flags "-Zbindeps"
-          '';
-        };
+        env = let
+          cargo-bindeps = pkgs.symlinkJoin {
+            name = "cargo-bindeps";
+            paths = [pkgs.cargo];
+            nativeBuildInputs = [pkgs.makeWrapper];
+            postBuild = ''
+              wrapProgram $out/bin/cargo \
+                --add-flags "-Zbindeps"
+            '';
+          };
 
-        crane = (crane.mkLib pkgs).overrideScope (_: prev: {
-          downloadCargoPackageFromGit = prev.downloadCargoPackageFromGit.override (args: {
-            pkgsBuildBuild = args.pkgsBuildBuild // {cargo = rust.cargo-bindeps;};
+          craneLib = (crane.mkLib pkgs).overrideScope (_: prev: {
+            downloadCargoPackageFromGit = prev.downloadCargoPackageFromGit.override (args: {
+              pkgsBuildBuild = args.pkgsBuildBuild // {cargo = cargo-bindeps;};
+            });
           });
-        });
+        in
+          craneLib.overrideToolchain rust.toolchain;
 
-        env = rust.crane.overrideToolchain rust.toolchain;
         lib = "${rust.toolchain}/lib/rustlib/$(rustc -Vv | grep '^host:' | cut -d' ' -f2)/lib";
         src = "${rust.toolchain}/lib/rustlib/rustc-src/rust/compiler";
       };