https://llvm.org/bugs/show_bug.cgi?id=29090

            Bug ID: 29090
           Summary: Invalid diagnostic on conversion error of implicit
                    object parameter for ref-qualified methods
           Product: clang
           Version: 3.9
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: C++11
          Assignee: unassignedclangb...@nondot.org
          Reporter: clement.cour...@gmail.com
                CC: dgre...@apple.com, llvm-bugs@lists.llvm.org
    Classification: Unclassified

refref.cc:

struct A {
  void f() && {}
};

void g() {
  A a;
  a.f();
}

clang++ -std=c++11 -c refref.cc

refref.cc:7:3: error: cannot initialize object parameter of type 'A' with an
expression of type 'A'
  a.f();

I would expect:
refref.cc:7:3: error: cannot initialize object parameter of type 'A&&' with an
expression of type 'A'
  a.f();

Or:

refref.cc:7:3: error:member function 'f' not viable: 'this' argument has type
'A', but function is marked &&.

(the latter is modeled after the error message when a is const but f() is not
const-qualified)

-- 
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs

Reply via email to