infer: nuke remaining polymorphic function code

6 jobs for master