Skip to content

Accumulate outlives separately, read-only typeck-env #608

Accumulate outlives separately, read-only typeck-env

Accumulate outlives separately, read-only typeck-env #608

Triggered via pull request December 17, 2025 16:23
Status Success
Total duration 2m 38s
Artifacts

ci.yaml

on: pull_request
Matrix: rust-test
Fit to window
Zoom out
Zoom in

Annotations

6 warnings
rust-test (ubuntu-latest)
`formality-check` (lib) generated 2 warnings
rust-test (ubuntu-latest): crates/formality-check/src/borrow_check/liveness.rs#L12
value assigned to `bb_id` is never read
rust-test (ubuntu-latest): crates/formality-check/src/borrow_check/liveness.rs#L12
value assigned to `env` is never read
rust-test (ubuntu-latest)
`formality-check` (lib) generated 2 warnings
rust-test (ubuntu-latest): crates/formality-check/src/borrow_check/liveness.rs#L12
value assigned to `bb_id` is never read
rust-test (ubuntu-latest): crates/formality-check/src/borrow_check/liveness.rs#L12
value assigned to `env` is never read