A template metaprogramming interview question

This is an interview question. It is pretty interesting. I never expect I would be asked about template metaprogramming in a job interview. The problem is as follow: #include <iostream> #include <type_traits> /** * Write a compile-time solution that checks is a list of parameters * contains a given type. (See the test cases bellow) * * By convention, first type is the target of the lookup, the remaining types are used as pack * * 1.