// prints 5
::emit<
    ::conditional_t<
        ::true_type::value,
        ::decltype(::difference<'F', 'A'>),
        ::void
    >
>::commit;