{"ast_node_type":"import","tokens":[{"end":70,"kind":"keyword","start":0,"text":"//"}]}
        // is because the inference guidance here is only speculative.
        // any remaining type variables are assigned to new, unrelated variables. This
        let formal_output = self.resolve_vars_with_obligations(formal_output);