Code

Added type_mismatch.dpatch to fix a failure to instantiate std::max().