epfl-lara/rust-stainless

Extract PhantomData<T> as standard item

Closed this issue · 0 comments

As this comes up often, we just want to extract it as a simple case class.