Arnaud Golfouse

Hello ! Running clippy on the code, it triggered `clippy::derive_ord_xor_partial_ord` in `logos-derive/src/graph/range.rs`: ```rust #[derive(PartialOrd)] pub struct Range { // although from what I can tell Range is not actually exported,...

Smaller font when using a raw block in a show rule

3

### Description The following code: ```typst #show raw.where(lang: "replaceme"): it => { raw(lang: "typst", it.text) } #raw(lang: "typst", "hello world!") #raw(lang: "replaceme", "hello world!") ``` Renders as ![Capture d’écran du...

Final borrow

6

Experiment to repair proofs when using a third field in mutable borrows. In short, in the following code: ```rust let mut x = 0i32; let mut y = 0i32; let...

Non extensionality

33

Test the removal of extensionality for mutable references (see #883). Some specifications no longer work, like ```rust #[ensures(result == &mut x.0)] fn f(x: &mut (i32, i32)) -> &mut i32 {...

The lane table algorithm is technically incorrect, is this an issue ?

4

The following grammar is rejected by lalrpop (because it is rejected by the lane table algorithm), but it is in fact LR(1): ```lalrpop grammar; pub A: () = { T...

The following code: ``` #[requires(p.0@ == 1)] #[ensures(result@ == 2)] fn disjoint_captures(mut p: (i32, i32)) -> i32 { let p0 = &p.0; let mut clos = #[ensures(p.1@ == 1)] ||...

Shadowing by temporary variable

1

The following: ```rust pub fn testing(x: i32) { let _3 = 1; testing(x); } ``` produces (approx): ``` module Test_Testing use prelude.Int32 use prelude.Int let rec cfg testing (x :...

Creusot panics when using `gh!` inside a closure

3

This code crashes creusot with "called `Option::unwrap()` on a `None` value": ```rust fn f() { let x = 1; let clos = || { let y = gh!(x); }; }...

Raw blocks drifting right

9

[x] I have tested with the master version of typstfmt and not just typst-lsp ``` $ typstfmt --version version: 0.2.7 (46b4ec34) ``` # Describe the bug So, uh, sorry to...