[llvm-bugs] [Bug 41415] New: ICE on deducing type of template static class field

[via llvm-bugs]

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: unassignedclangbugs at nondot.org
          Reporter: andrey.a.davydov at gmail.com
                CC: blitzrakete at gmail.com, erik.pilkington at gmail.com,
                    llvm-bugs at lists.llvm.org, richard-llvm at metafoo.co.uk

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20190407/90da7b05/attachment.html>