I was trying to make a data type that represents that fact that two functions are equivalent. What does the error mean?

Code:

record FEq (f1 : a -> b) (f2 : a -> b) where constructor MkFEq unFEq : (x : a) -> (f1 x = f2 x)

Error: