I just came across this project and I like the idea very much, so thank you for building it!

I found it in a search for a way to enforce certain standard trait implementations on e.g. Error types that are often forgotten to implement. For that I'd need access to trait implementations for structs and enums though. If anyone ever continues to develop this project this might be an interesting use case to look at.