Can Refined Types be emulated with Prusti?

[CKingX]

After learning about LiquidHaskell and finding this project, it appears to be abandoned. Can some of the refined types and their ease of use be emulated with Prusti? Prusti does use code from rust compiler as well.

[fan-tom]

Hi, as I understand it Prusti is more or less the same as LiquidTypes, however, I didn't compare them in details, feature by feature. Does LqT contain something that is impossible to specify using Prusti specification language?

[CKingX]

I will let you know by testing a new project. For now, Prusti does not support iterators and macros on my project so I could not immediately test it

[fan-tom]

Found this while browsing internet https://news.ycombinator.com/item?id=33194220