teach monomorphizer about specializer #1610
Description
We should never monomorphize < to |<1234| if the argument types are known to the specializer.
{{ message }}
We should never monomorphize < to |<1234| if the argument types are known to the specializer.