Commit 2024-08-31 21:14 25976290
View on Github →fix: don't resynthesize type class arguments in fun_prop (#15842)
fun_prop was resynthesizing type class arguments the same way as simp used to do. It seems to cause just troubles and seemingly no benefit so let's remove it from fun_prop too.