“Result signatures are no longer supported in pattern matches” lost
This commit (b98ff25f) from two years ago broke the error message (at least according to when
T2310.stderr was modified):
T2310.hs:5:22: Illegal result type signature ‘a’ Result signatures are no longer supported in pattern matches In a lambda abstraction: \ x :: a -> (x :: a)
that was displayed previously.
Either we do want that error message (then this is a bug) or we don’t care about this error message any more, then probably we can remove the
m_type field of