N>>namespace
N>>{
N>>   struct S
N>>   {
N>>      ....
N>>   }
N>>}

N>>class impl : public impl_t<S> {}; <-- Я так понимаю здесь возникает та же проблема?
N>>

//tpl_h.h
template<typename T>
struct t_impl
{
  void foo( const T& arg ) {}
};

//a.h
namespace TEST
{
   //fw
   struct a_impl;
  
   class A
   {
   private:
     a_impl* pImpl;
     a_impl get_impl() { return pImpl; }

   public:
     A();
     void doo();
   }
}

//a.cpp

using namespace A;

namespace
{
   struct S //имя этой структуры повторяется в нескольких модулях: a.cpp, b.cpp, d.cpp ...
   {
     S(){}
   };
}

namespase A {
   struct a_imp : public t_impl<S> {};
}

//конструктор
A::A() : pImp( new a_imp() ) {}

//метод doo

void A::doo()
{
   S s; //<-- тут буден вызван правильный конструктор
   
   get_impl()->foo(s); //<-- а вот тут когда мы прийдём в метод t_impl::foo() аргумент какого то фига будет другого типа  :xz: 
                       //сужу потому как у него даже будет другой набор полей
}

N>namespace
N>{
N>   struct S //имя этой структуры повторяется в нескольких модулях: a.cpp, b.cpp, d.cpp ...
N>   {
N>     S(){}
N>   };
N>}

N>namespase A {
N>   struct a_imp : public t_impl<S> {};
N>}

7.1.2
3- A function defined within a class definition is an inline function. The inline specifier shall not appear on a block scope function declaration.*
4- An inline function shall be defined in every translation unit in which it is used and shall have exactly the same definition in every case (basic.def.odr).

struct S1 {
  float field1;
  virtual float m1() const { return field1; }
};

struct S2 {
  int field2;
  virtual int m2() const { return field2; }
};

B>точно это же definition... признаю совю неправоту

7.3.1.1/2
The use of the static keyword is deprecated when declaring objects in a namespace scope, the unnamed-namespace provides a superior alternative.