I recently needed to trace some error related to C++17 class template argument deduction and came
across some corner cases. In this article, I document what I learned, show some “paradox” cases
(which have nice, clean solutions as per the standard) and demonstrate a suspected Clang bug.