完全に推論可能かは知らないが実害があるのでそもそも実装されていない

ただあからさまな場合は省略可能

コンパイラも楽だろ
戻り値のライフタイム覚えておいて型を返す場所でチェックするだけだし