{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"match"}]}
                            match self.ambient_variance {
                        TypeVariableValue::Unknown { universe } => {
                                // Invariant: no need to make a fresh type variable