Rule 14–7–3 Example errata?

[minhyuk]

See 14-7-3 Example:

a function template specialization for good_tmp1 violated ODR in tmp1.cc.

Code:

// tmp1.h
template  void good_tmp1 ( ) { }

// tmp1.cc
#include "tmp1.h"
template  void good_tmp1 ( ) { }

I think function template specialization must be forward declaration in header file.
any reason for that?

Best Regards,
Minhyuk Kwon@Suresoft technologies Incs.

[misra cpp]

You are correct, the declaration in the header file should be non-defining. This will be corrected in a Technical Corrigendum