`A16-2-2`: Consider `TypeMention`s for useless includes

[lcartey]

Affected rules

• A16-2-2

Description

Types that only appear in template parameters or template arguments are not currently considered when determining whether an include is useless. We should consider reviewing TypeMentions to determine whether an include is useless.

Example

#include <type_traits>

template <typename T, std::enable_if_t<std::is_integral<T>::value, int> = 0>
T add(T t) {
  return t + 1;
}

void test() {
  add<int>(10);
}