Clang编译与static_assert和boost :: hana相关的错误

Question

考虑以下问题，它使用-std=c++14在Clang 3.8上成功编译。

#include <boost/hana.hpp> 

namespace hana = boost::hana; 

int main() { 
    constexpr auto indices = hana::range<unsigned, 0, 3>(); 
    hana::for_each(indices, [&](auto i) { 
     hana::for_each(indices, [&](auto j) { 
      constexpr bool test = (i == (j == i ? j : i)); 
      static_assert(test, "error"); 
     }); 
    }); 
} 

该测试是非常不合理的，但这不是重点。现在考虑的替代版本，其中测试是直接把static_assert内：

#include <boost/hana.hpp> 

namespace hana = boost::hana; 

int main() { 
    constexpr auto indices = hana::range<unsigned, 0, 3>(); 
    hana::for_each(indices, [&](auto i) { 
     hana::for_each(indices, [&](auto j) { 
      static_assert((i == (j == i ? j : i)), "error"); 
     }); 
    }); 
} 

现在，我得到了一堆编译错误，说

error: reference to local variable i declared in enclosing lambda expression

问：是什么原因导致了第二个版本失败？

编辑：这可能是一个编译器错误？我原来的static_assert之前访问i的时候，一切都再编译：

#include <boost/hana.hpp> 

namespace hana = boost::hana; 

int main() { 
    constexpr auto indices = hana::range<unsigned, 0, 3>(); 
    hana::for_each(indices, [&](auto i) { 
     hana::for_each(indices, [&](auto j) { 
      constexpr auto a = i; 
      static_assert((i == (j == i ? j : i)), "error"); 
     }); 
    }); 
} 

更新：同样的行为可以在Clang的4.0和目前的发展分支5.0再现。

更新2：根据@LouisDionne的建议，我将此作为bug提交：https://bugs.llvm.org/show_bug.cgi?id=33318。

Answer 1

这是Clang编译器中的一个错误，因此被确认。这里是它的链接：https://bugs.llvm.org/show_bug.cgi?id=33318。