pt.c (type_unification_real): Just accept function parms that don't use any template parms.

	* pt.c (type_unification_real): Just accept function parms that
	don't use any template parms.

From-SVN: r17500

gcc/cp/ChangeLog

+Tue Jan 27 01:44:02 1998  Jason Merrill  <jason@yorick.cygnus.com>
+
+	* pt.c (type_unification_real): Just accept function parms that
+ 	don't use any template parms.
+
 Sun Jan 25 03:30:00 1998  Jason Merrill  <jason@yorick.cygnus.com>
 
 	* decl.c (cp_finish_decl): When bailing on a comdat variable, also

gcc/cp/pt.c

@@ -4676,16 +4676,11 @@ type_unification_real (tparms, targs, parms, args, nsubsts, subr,
 	      if (comptypes (parm, type, 1))
 		continue;
 	    }
-	  else if (arg)
-	    {
-	      if (can_convert_arg (parm, type, arg))
-		continue;
-	    }
 	  else
-	    {
-	      if (can_convert (parm, type))
-		continue;
-	    }
+	    /* It might work; we shouldn't check now, because we might
+	       get into infinite recursion.  Overload resolution will
+	       handle it.  */
+	    continue;
 
 	  return 1;
 	}