static_assertおよびboost :: hanaに関するClangのコンパイルエラー

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"); 
     }); 
    }); 
} 

このテストは非常に官能的ではありませんが、それは重要ではありません。何が失敗する2番目のバージョンが発生します。今、私は

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

質問を言って、コンパイルエラーの束を取得

#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"); 
     }); 
    }); 
} 

：今テストを直接static_assertの内側に置かれている代替バージョンを考えてみましょうか？

編集：これはコンパイラのバグでしょうか？私は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"); 
     }); 
    }); 
} 

アップデート：同じ動作はクラン4.0と現在の開発ブランチ5.0上で再生することができます。

更新2：@LouisDionneの提案によれば、私はバグ：https://bugs.llvm.org/show_bug.cgi?id=33318を提出しました。

Answer 1

これはClangコンパイラのバグであり、そのように認識されています。ここにはそれへのリンクがあります：https://bugs.llvm.org/show_bug.cgi?id=33318。