Open
Description
The following example should be considered invalid by Quint. I guess, the earliest point where we can complain about it is the type checker:
module test {
// Quint has restrictions on its functional behavior.
// In particular, it does not allow to return operators!
def foo(x: int): (int => int) =
y => x + y
}
This is an MWE of a bug report by @andrey-kuprianov