Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/xldenis/polonius-demo
polonius-demo
https://github.com/xldenis/polonius-demo
Last synced: about 19 hours ago
JSON representation
polonius-demo
- Host: GitHub
- URL: https://github.com/xldenis/polonius-demo
- Owner: xldenis
- Created: 2023-03-20T14:41:42.000Z (over 1 year ago)
- Default Branch: master
- Last Pushed: 2024-08-13T17:09:10.000Z (about 2 months ago)
- Last Synced: 2024-08-13T20:28:49.529Z (about 2 months ago)
- Language: Rust
- Size: 413 KB
- Stars: 5
- Watchers: 3
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Making lifetimes visible
This repo is an experiment in using Polonius to make lifetimes apparent in MIR.
--
It doesn't *fully* work yet though.
--
```
cargo run -- demo.rs --crate-type=lib
```