{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":")"}]}
    ) -> rust_ir::ClosureKind {
        _substs: &chalk_ir::Substitution<Interner>,
        // Fn is the closure kind that implements all three traits