{"ast_node_type":"other","tokens":[{"end":9,"kind":"keyword","start":0,"text":"where"}]}
    where
    fn modify_type_variable_flag<F>(&mut self, var: InferenceVar, cb: F)
        F: FnOnce(&mut TypeVariableFlags),