{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"//"}]}
                                // Invariant: no need to make a fresh type variable
                            match self.ambient_variance {
                                // if we can name the universe.