{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"//"}]}
                // We lower empty bounds like `Vec<dyn Copy>:` as
            match pred.kind().skip_binder() {
                // `WellFormed(Vec<dyn Copy>)`, which will later get checked by