Dominik Stolz
Dominik Stolz
There seems to be a more general issue with extern functions. I tested this example: ```rust pub fn test() { let mut v = vec![1, 2, 2, 3]; v.dedup(); proof_assert!...
Hmm, maybe something changed when updating the rustc version?
Good catch! The problem also exists with an invariant like `forall false`. I'm not sure what the best way to fix this is.
One solution might be to only allow the attribute on fully concrete types.
This looks related to #848
Would it be an option to use the android system download manager? [[1]](https://developer.android.com/reference/android/app/DownloadManager) It would not require an external dependency and provides a couple useful features out-of-the-box.
I'm working on this now, too. I tried to replace GigaGet with the system download manager. You can have a look at my attempt [here](https://github.com/voidc/NewPipe/tree/system-dl-manager). So far, it looks promising,...