{"ast_node_type":"function","tokens":[{"end":79,"kind":"keyword","start":0,"text":"pub(crate)"}]}
    pub(crate) fn resolve_vars_with_obligations<T: TypeFoldable<TyCtxt<'tcx>>>(
    #[instrument(skip(self), level = "debug", ret)]
        &self,