Give better error message if type inference fails because of unsatisfiable upper bound

After #5699 in certain cases (see testWideOuterContextEmptyError) if type inference fails, mypy gives an obscure error like

Incompatible types in assignment (expression has type "List[<nothing>]", variable has type "List[str]")

This error message could be improved. Here are some ideas:

• Record that we didn't use the outer context because of unsatisfied bound and add a note about this
• (Probably better) If type variable with a bound is used in an invariant context and we can't infer a value, we currently infer C[<nothing>]. What if we'd instead inferred C[<bound>]?

Issue で言及されている testWideOuterContextEmptyError ケースから始め、不変コンテキストにおける満たされていない上限に対する型推論の経路を調査してください。提案されている診断アプローチを比較し、改善されたエラーメッセージを示す回帰テストを追加してから、関連するテストスイートを実行してください。