I think this is useful. I'm actually surprised that [`middle::kinds::check_builtin_bounds`](https://github.com/mozilla/rust/blob/master/src/librustc/middle/kind.rs#L374) doesn't use this.