{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"trace!(\"resolve:"}]}
        trace!("resolve: {:?}, {:#?}", def, args);
    ) -> InterpResult<'tcx, ty::Instance<'tcx>> {
        trace!("typing_env: {:#?}", self.typing_env);