Type compatibility between two APIs would usually be decidable, because otherwise the type systems would be useless. But behavior testing is undecidable, easil

Type compatibility between two APIs would usually be decidable, because otherwise the type systems would be useless. But behavior testing is undecidable, easily follows from halting theorem. I doubt it would even be recognizable.