From: David Abrahams (abrahams_at_[hidden])
Date: 2000-06-09 20:23:54
FYI, when I look at the section below in my web browser, everything in each
section is strung together into a continuous line. The line breaks imposed
by my mailer make it look a lot better, though not ideal.
-Dave
> 2. The following section is just really hard to read. It would be much
> easier to look at in table form, I think:
> For all types the following conditions hold:
>
> call_traits<T>::value_type is copy-constructable from types: T,
> call_traits<T>::value_type, call_traits<T>::reference, and
> call_traits<T>::param_type.
>
> call_traits<T>::reference is copy-constructable from types: T,
> call_traits<T>::value_type, and call_traits<T>::reference.
>
> call_traits<T>::const_reference is copy constructable from types: T,
> call_traits<T>::value_type, call_traits<T>::reference,
> call_traits<T>::const_reference, and call_traits<T>::param_type.
>
> call_traits<T>::param_type is copy-constructable from types: T,
> call_traits<T>::value_type, call_traits<T>::reference, and
> call_traits<T>::const_reference.
>
> If T is an assignable type then the following conditions also hold:
>
> call_traits<T>::value_type is assignable from types: T,
> call_traits<T>::value_type, call_traits<T>::reference,
> call_traits<T>::const_reference, and call_traits<T>::param_type.
>
> -Dave