New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

add function signature to external specs #865

Closed

Samir-Rashid opened this issue Oct 27, 2024 · 1 comment

Contributor

Samir-Rashid commented Oct 27, 2024

Assigned to @Samir-Rashid

This task is towards integrating refinement type predicates with Rust types. I will build the plumbing to expose the type signature of extern specs.

@nilehmann can I get a bit more clarity on what this task means? What is the problem and what does a successful fix look like?

Contributor Author

Samir-Rashid commented Oct 31, 2024

task canceled, superceded by #871

Samir-Rashid closed this as not planned

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment