Proposed resolution (10/00):

Change 12.2.4.3 [over.ics.rank] bullet 3.1 sub-bullet 3 from

S1 and S2 differ only in their qualification conversion and yield similar types T1 and T2 (7.3.6 [conv.qual] ), respectively, and the cv-qualification signature of type T1 is a proper subset of the cv-qualification signature of type T2.

S1 and S2 differ only in their qualification conversion and yield similar types T1 and T2 (7.3.6 [conv.qual] ), respectively, and the cv-qualification signature of type T1 is a proper subset of the cv-qualification signature of type T2, and S1 is not the deprecated string literal array-to-pointer conversion (7.3.3 [conv.array] ).

In 12.2.4.3 [over.ics.rank] , we have

• S1 and S2 differ only in their qualification conversion and yield similar types T1 and T2 (7.3.6 [conv.qual] ), respectively, and the cv-qualification signature of type T1 is a proper subset of the cv-qualification signature of type T2, [Example:

      int f(const int *);
      int f(int *);
      int i;
      int j = f(&i); // Calls f(int *)
  

  —end example] or, if not that,

    void f(char *);
    void f(const char *);

    f("abc");