#include <cstdint>
#include <type_traits>

template<typename T>
class myTemplate  // Compliant. Use of static_assert
{

    static_assert(std::is_copy_constructible<T>(),
                  "Template type not copy constructible.");
    //...

};
template<typename T>
class specializedClass //Non-compliant
{
};

template<>
class specializedClass<std::int32_t>  // Compliant. Explicit full specialization
{
};

class myClass  //Not a template
{
public:
    myClass() = default;
    myClass(myClass const&) = delete;

};

class myOtherClass  //Not a template
{

};

template<typename T>
void func_decl(T const& obj) noexcept(false); // Compliant. Template declaration


template <typename T>
void func_def(T const& obj) noexcept(false)  //Non-compliant
{


}



void F()
{

    //myTemplate<myClass> a; // myClass is not copy constructible. Compile-time error.
    myTemplate<myOtherClass> b; //myOtherClass is copy constructible.
}