Make current class available in spec expression.

epfl-lara / rust-stainless

An experimental Rust frontend for Stainless

Apache License 2.0

6 stars 2 forks source link

Closed yannbolliger closed 3 years ago

yannbolliger commented 3 years ago

Fixes the bug that the this type class instance wasn't available in spec expressions.