Affected rules

• A15-4-4

Description

If the noexcept specification of a template function is conditional on the template, then the uninstantiated template may be erroneously reported as the noexcept specification on the uninstantiated template will be considered as not true.

Example

#include <utility>
template <typename TypeA, typename TypeB>
void swap_wrapper(TypeA lhs,
                  TypeB rhs) noexcept(noexcept(std::swap(*lhs, *rhs))) {
  std::swap(*lhs, *rhs);
}