search

epfl-lara / rust-stainless

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

Fix matching on empty tuples (Unit) #162

Closed yannbolliger closed 3 years ago

yannbolliger commented 3 years ago

In rustc empty tuples and units are the same when pattern matching, this needed to be fixed for Stainless.