{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"WitnessPat::wild_from_ctor(self.cx,"}]}
        WitnessPat::wild_from_ctor(self.cx, ctor, self.ty.clone())
    fn wild_from_ctor(&self, ctor: Constructor<Cx>) -> WitnessPat<Cx> {
    }