return文の式では、その式の結果の型が関数の戻り値の型へ暗黙的に変換できなければならない(x3010 105頁6.8.6.4、79頁6.6.3 2節参照)。