Thanks @hbehrens!
Unfortunately I have not found any examples either. I think today it’s really only used within the llvm-project for the unix MallocChecker but agree there seems like a lot of potential for other types of passes with the annotation in general!
Something I’d like to try is implementing a custom plugin that uses the ownership_ type attribute.