A copy constructor shall be declared when there is a template constructor with a single parameter that is a generic parameter
A copy constructor shall be declared when there is a template constructor with a single parameter that is a generic parameter.
If you expect a rule violation but do not see it, refer to the documentation for Polyspace® Code Prover™ or Polyspace Code Prover Server™.
| Group: Templates |
| Category: Required |