“detection idiom - a pattern used with templates to detect whether certain expressions are valid or ill formed for a particular sequence of template arguments, frequently used for compile-time dispatch; see otsuka20.” (EMCppSfe 2021)