Feature Overview
r-efi v6.0.0 is released. This is a major breaking change that updates function prototypes to be marked unsafe.
This needs to be integrated into Patina.
Solution Overview
This integration was made to better reflect that safety of the code we use so that we can meaningfully and accurately track unsafe code boundaries. Therefore, this should be more than simply passing compilation and linter checks. We should think carefully about the relationships between functions and practical safety concerns, mitigating issues where possible and calling out relevant safety invariants in safety comments.
Alternatives Considered
No response
Urgency
Low
Are you going to implement the feature request?
Someone else needs to implement the feature
Do you need maintainer feedback?
No maintainer feedback needed
Anything else?
No response
Feature Overview
r-efi v6.0.0 is released. This is a major breaking change that updates function prototypes to be marked unsafe.
This needs to be integrated into Patina.
Solution Overview
This integration was made to better reflect that safety of the code we use so that we can meaningfully and accurately track unsafe code boundaries. Therefore, this should be more than simply passing compilation and linter checks. We should think carefully about the relationships between functions and practical safety concerns, mitigating issues where possible and calling out relevant safety invariants in safety comments.
Alternatives Considered
No response
Urgency
Low
Are you going to implement the feature request?
Someone else needs to implement the feature
Do you need maintainer feedback?
No maintainer feedback needed
Anything else?
No response