http://llvm.org/bugs/show_bug.cgi?id=20032

            Bug ID: 20032
           Summary: assert if 'operator auto' is matched against a member
                    template conversion operator
           Product: clang
           Version: unspecified
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: C++1y
          Assignee: [email protected]
          Reporter: [email protected]
                CC: [email protected]
    Classification: Unclassified

We should reject this, because 'S' has no member named 'operator auto':

  struct S {
    template<typename T> operator T();
  };
  auto x = S().operator auto();

Instead, we instantiate the member template to form an 'operator auto' and
assert in IR generation.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
LLVMbugs mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/llvmbugs

Reply via email to