{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"trace!(\"args:"}]}
        trace!("args: {:#?}", args);
        trace!("typing_env: {:#?}", self.typing_env);
        match ty::Instance::try_resolve(*self.tcx, self.typing_env, def, args) {