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

            Bug ID: 41415
           Summary: ICE on deducing type of template static class field
           Product: clang
           Version: trunk
          Hardware: PC
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: C++14
          Assignee: [email protected]
          Reporter: [email protected]
                CC: [email protected], [email protected],
                    [email protected], [email protected]

template<typename, typename>
bool is_same_v = false;

template<typename T>
struct X {
    template <typename U>
    static const auto a = is_same_v<T, U>;

    static const auto b = a<void>;
};

void test() {
    X<void>::b;
}

Will compile if specify a type of `a` or `b` explicitly. Reproduced in versions
7.0, 8.0 and trunk: https://gcc.godbolt.org/z/Gzt6IC

-- 
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs

Reply via email to