[Bug]: failed to compile while installing from git main branch

# 🐛 Bug

Compiling move-stackless-bytecode v0.1.0 (C:\Users\ALL\.cargo\git\checkouts\move-cd543da0a1ae83ac\725168d\language\move-prover\bytecode)
error: expected one of `(`, `,`, `::`, or `=`, found `-`
--> language\move-prover\bytecode\src\well_formed_instrumentation.rs:38:26
|
38 | #[allow(clippy::redundant-clone)]
| ^ expected one of `(`, `,`, `::`, or `=`

warning: unnecessary parentheses around match arm expression
--> language\move-prover\bytecode\src\access_path.rs:474:55
|
474 | (Type::Vector(t), Offset::VectorIndex) => (*t.clone()),
| ^ ^
|
= note: `#[warn(unused_parens)]` on by default
help: remove these parentheses
|
474 - (Type::Vector(t), Offset::VectorIndex) => (*t.clone()),
474 + (Type::Vector(t), Offset::VectorIndex) => *t.clone(),
|

warning: `move-stackless-bytecode` (lib) generated 1 warning
error: could not compile `move-stackless-bytecode` (lib) due to previous error; 1 warning emitted
warning: build failed, waiting for other jobs to finish...

Reproduce the git-main installation and inspect language/move-prover/bytecode/src/well_formed_instrumentation.rs at line 38, then review the related warning in language/move-prover/bytecode/src/access_path.rs at line 474. Done means the package compiles successfully from the git checkout without the reported error.

Written by the indexing model from the issue text.