Add support for implementing traits with a `Debug` requirement