{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"ctx.provided_kind(self_param_id,"}]}
            ctx.provided_kind(self_param_id, self_param, self_ty)
            let (_, self_ty) = args.next().expect("has_self_type=true, should have Self type");
        } else {