{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"trace!(\"typing_env:"}]}
        trace!("typing_env: {:#?}", self.typing_env);
        trace!("resolve: {:?}, {:#?}", def, args);
        trace!("args: {:#?}", args);