Introduces a compile time concept checking mechanism that can be used most commonly to check for required functionality when passing template arguments.