{"ast_node_type":"other","tokens":[{"end":5,"kind":"keyword","start":0,"text":"{"}]}
    {
        F: Fn(InferenceVar, VariableKind, GenericArg, DebruijnIndex) -> GenericArg,
        fn as_dyn(&mut self) -> &mut dyn TypeFolder<Interner> {