Fix generic panic type - Githubissues

epfl-lara / rust-stainless

An experimental Rust frontend for Stainless

Apache License 2.0

6 stars 2 forks source link

Fix generic panic type #126

Closed yannbolliger closed 3 years ago

yannbolliger commented 3 years ago

Closes #115.

Add test with object, generic panic type.
Update stainless version.