search

epfl-lara / rust-stainless

An experimental Rust frontend for Stainless
Apache License 2.0
6 stars 2 forks source link

WIP trait bounds on traits #122

Closed yannbolliger closed 2 years ago

yannbolliger commented 3 years ago

Closes #121.

This is an unfinished, WIP, experimental branch.