* pt.c (type_unification_real): Just accept function parms that

	don't use any template parms.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@17500 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 09d9f46..4230426 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,8 @@
+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

diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c
index 7f32c4f..753af6b 100644 (file)
--- a/gcc/cp/pt.c
+++ b/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;
        }