Title
Missing requirement in example
Status
concepts
Section
_N2914_.14.11.1.1 [temp.req.sat]
Submitter
Daniel Krügler

Created on 2009-05-06.00:00:00 last changed 179 months ago

Messages

Date: 2009-11-08.00:00:00

The example in _N2914_.14.11.1.1 [temp.req.sat] paragraph 6 reads,

    concept C<typename T> { }
    concept D<typename T> { }
    namespace N2 {
      template<C T> void f(T);                // #1
      template<C T> requires D<T> void f(T);  // #2
      template<C T> void g(T x) {
        f(x);
      }
    ...

The call f(x) is ill-formed without a constraint indicating that x can be passed by value.

History
Date User Action Args
2009-08-03 00:00:00adminsetstatus: open -> concepts
2009-05-06 00:00:00admincreate