Of what use is a type-dependent expression that is always false? March 12, 2020 Mar 12, 2020 03/12/20 Raymond Chen Deferring an assertion to instantiation.