let f := 4 = 6; in g(4,5)