[Bug c++/4205] function template can call other function with incorrect parameters

[gdr at integrable-solutions dot net]

------- Additional Comments From gdr at integrable-solutions dot net  2004-02-01 22:21 -------
Subject: Re:  function template can call other function with incorrect parameters

"japple at freeshell dot org" <gcc-bugzilla@gcc.gnu.org> writes:

| template<typename T, typename U = int>
| struct foo {};

| template<template <typename> class TT>
| struct bar {};

| bar<foo> x;
| 
| compiles for me with 3.3.2.  Is this bug related?

Not really.  But yes,  you have a point:  GCC currently does not have
a uniform infrastructure for sharing codes for functions and
templates.

-- Gaby


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=4205