Parse contracts syntax
Open
syntax
- Dominant language
- Rust
- Stars
- 3.4k
- Forks
- 374
- Avg merge
- 1d 5h
- Merged PRs (30d)
- 2
Description
- Tracking issue: https://github.com/rust-lang/rust/issues/128044
```rust
fn nest(x: Baz) -> i32
contract_requires(|| x.baz > 0)
contract_ensures(|ret| *ret > 100)
{
...
}
```
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.