diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index b6a33ff65562103d085ac213920c8542b38c239a..9be11475fd98d863332f349434224a5b866c0c92 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2003-01-03  Nathan Sidwell  <nathan@codesourcery.com>
+
+	PR c++/45, c++/3784
+	* tree.c (cp_tree_equal, TEMPLATE_PARM_INDEX): The types must be
+	the same too.
+
 2003-01-03  Graham Stott  <graham.stott@btinternet.com>
 
 	* parser.c (struct cp_parser): Add access_checks_lists field
diff --git a/gcc/cp/tree.c b/gcc/cp/tree.c
index f301d45400df10fbcd614c6648a4700f32fa6a40..20d51d4ac1845611edeb9b0c57c7ee56d71e2e79 100644
--- a/gcc/cp/tree.c
+++ b/gcc/cp/tree.c
@@ -1735,8 +1735,10 @@ cp_tree_equal (t1, t2)
       return 0;
 
     case TEMPLATE_PARM_INDEX:
-      return TEMPLATE_PARM_IDX (t1) == TEMPLATE_PARM_IDX (t2)
-	&& TEMPLATE_PARM_LEVEL (t1) == TEMPLATE_PARM_LEVEL (t2);
+      return (TEMPLATE_PARM_IDX (t1) == TEMPLATE_PARM_IDX (t2)
+	      && TEMPLATE_PARM_LEVEL (t1) == TEMPLATE_PARM_LEVEL (t2)
+	      && same_type_p (TREE_TYPE (TEMPLATE_PARM_DECL (t1)),
+			      TREE_TYPE (TEMPLATE_PARM_DECL (t2))));
 
     case SIZEOF_EXPR:
     case ALIGNOF_EXPR:
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 7fa12a98a3f06cb5a6703d6df1f808b2d46ac880..ea090a2fa891fe4ae8b0d0703472c560aa18f3a8 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2003-01-03  Nathan Sidwell  <nathan@codesourcery.com>
+
+	* g++.dg/template/ntp2.C: New test.
+
 2003-01-03  Nathanael Nerode  <neroden@gcc.gnu.org>
 
 	* g++.dg/parse/extern-C-1.C: New test.
diff --git a/gcc/testsuite/g++.dg/template/ntp2.C b/gcc/testsuite/g++.dg/template/ntp2.C
new file mode 100644
index 0000000000000000000000000000000000000000..42219e0fcb0910943febcd4abd69c1cfbc510f16
--- /dev/null
+++ b/gcc/testsuite/g++.dg/template/ntp2.C
@@ -0,0 +1,16 @@
+// { dg-do compile }
+
+// Copyright (C) 2002 Free Software Foundation, Inc.
+// Contributed by Nathan Sidwell 26 Dec 2002 <nathan@codesourcery.com>
+
+// PR 3784: We were confusing non-type template parms.
+
+template <unsigned N> class X { };
+
+template <short N>       void foo1(X<N>);
+template <unsigned N>  void foo2(X<N>);
+
+int main() {
+  X<2> x;
+  foo2(x);
+}