Cake is a C23 Front End
http://thradams.com/cake/index.html that is implementing static ownership checks.
Cake source itself is already using this feature that can be used and disabled with few macros.
The link is a tour explaining the concepts and usage of this feature.
