Also, it's a little weird to have the words duplicated: why not replace this whole `let` statement with

```rust
let name = mitem.name().get();
// verify we're handling a built-in trait.
match name {
    "Copy" | "Send" | "Share" => {}
    s => cx.span_bug(...)
}

let trait_def = ...;
```