Martin Vogel eb47f86551 Resolve Rust operator-trait and macro-arg method calls ...

rust_lsp: operator desugaring (a+b -> Type::add etc., index_expression -> index) resolving the left-operand user type soundly; re-parse std macro args (format!/println!/assert!/...) so receiver-method calls inside them (d.label()) resolve; inject synthetic CBMCall sites so recovered calls reach the edge pipeline. Fixes convergence 965/1119 + matrix c2/rust/add_trait.

2026-06-08 22:55:23 +02:00

..

cbm

Resolve Rust operator-trait and macro-arg method calls

2026-06-08 22:55:23 +02:00