Skip to content
Kani CI

Define a struct-level #[safety_constraint(...)] attribute #7547

Sign in to view logs

Define a struct-level #[safety_constraint(...)] attribute

Define a struct-level #[safety_constraint(...)] attribute #7547

This job succeeded