Can Refined Types be emulated with Prusti?

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](https://viperproject.github.io/prusti-dev/user-guide/)? Prusti does use code from rust compiler as well.

The issue names Prusti and its user guide but no repository files, tests, or entry points. Start by reading the Prusti user guide and comparing its capabilities with the refined types described in LiquidHaskell; the issue provides no concrete completion criteria.

Written by the indexing model from the issue text.