Replies: 1 comment
-
moved to an issue #1284 |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Hello, I was trying to use creusot to verify the redox kernel didn't have any panics, and ran into a bit of a problem.
The kernel uses "dyn traits".
This is where creusot crashes
Is it possible to implement them?
Here is a maybe working implementation
If it is resolved, then I still have a problem with
error: const generic parameters are not yet supported
, but it compiles on stable and nightlyBeta Was this translation helpful? Give feedback.
All reactions