Julien Cretin
Results
122
issues of
Julien Cretin
Following on https://github.com/rocq-prover/rocq/pull/21071#issuecomment-3262320775, this is a discussion on how and what to improve in the refman regarding associativity. Current known issues are: - For right-associative levels, SELF at the beginning...
### Reproduction steps Content of `/tmp/foo/Cargo.toml`: ```toml [package] name = "foo" version = "0.1.0" edition = "2024" ``` Content of `/tmp/foo/src/lib.rs`: ```rust mod bar; pub fn foo() -> i32 {...