Back to pull request #7418

feat(traverse): add methods to `BoundIdentifier` + `MaybeBoundIdentif… #2040

Sign in to view logs

Summary
Jobs
- Miri
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Miri	5m 49s
	5m 49s