Mar 12, 2020
Post comments count1
Post likes count1
Of what use is a type-dependent expression that is always false?
Deferring an assertion to instantiation.
Deferring an assertion to instantiation.