Add problem case 4 test #618
Annotations
6 warnings
|
Run cargo test --all-targets
`formality-check` (lib) generated 2 warnings
|
|
Run cargo test --all-targets:
crates/formality-check/src/borrow_check/liveness.rs#L12
value assigned to `bb_id` is never read
|
|
Run cargo test --all-targets:
crates/formality-check/src/borrow_check/liveness.rs#L12
value assigned to `env` is never read
|
|
Run cargo test --all
`formality-check` (lib) generated 2 warnings
|
|
Run cargo test --all:
crates/formality-check/src/borrow_check/liveness.rs#L12
value assigned to `bb_id` is never read
|
|
Run cargo test --all:
crates/formality-check/src/borrow_check/liveness.rs#L12
value assigned to `env` is never read
|
Loading