search

FStarLang / karamel

KaRaMeL is a tool for extracting low-level F* programs to readable C code
Apache License 2.0
394 stars 58 forks source link

Generic auto-borrowing for method calls and auto-deref for fields #467

Closed R1kM closed 3 weeks ago

R1kM commented 3 weeks ago

Generalization of #465 . The Rust compiler actually automatically inserts borrows and derefs for methodcalls, and derefs for fields.