{"ast_node_type":"other","tokens":[{"end":5,"kind":"keyword","start":0,"text":"}"}]}
    }
            .map(|x| ty::EarlyBinder::bind(x.ty).instantiate(self.tcx, key.args))
    // This can take a non-revealed `Ty` because it reveals opaques itself.