'decltype'が静的である場合、なぜ三項演算子はテンプレートの末尾の戻り値の型で機能するのですか？

Josuttisの本には、次の例があります。

template<typename T1, typename T2>
auto max (T1 a, T2 b) -> decltype(b<a?a:b)
{
    return b<a?a:b;
}

しかし

b<a

一部はランタイムに属しますよね？では、なぜそれをdecltypeで比較するのですか（テンプレートのインスタンス化中に静的タイプを把握するため）？そして、コンパイル時にどのように正しく機能しますか？