I don't want to sidetrack this thread, but this has been discussed in the past. There is a reasonable case for function type equality defined by equatable captures and source identity of the function body. This is similar to how C++ uses anonymous types for each closure.
1 Like