accommodate changes to handling of unknown in type arg inference