Support for trait clause bounds

AeneasVerif / eurydice

Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.

Apache License 2.0

21 stars 1 forks source link

Support for trait clause bounds #11

Closed msprotz closed 3 months ago

msprotz commented 3 months ago

~This isn't quite working yet but I want to get this in place to start working through the code with @W95Psp.~

This is now on-par with what used to work before.

Let's try to block some time to go over this once you've had a chance to browse the list of changes. I've tried to add comments whenever I could, so hopefully some of this makes sense? Thanks!!

msprotz commented 3 months ago

I'm merging this and opened #20 to track the specific issue of improving the name matcher logic.