Use bold in notes as well

JukkaL · JukkaL · commit 3db2a0850083 · 2020-06-26T12:25:49.000+01:00
diff --git a/mypy/util.py b/mypy/util.py
@@ -639,7 +639,8 @@ def colorize(self, error: str) -> str:
                     self.highlight_quote_groups(msg) + self.style(code, 'yellow'))
         elif ': note:' in error:
             loc, msg = error.split('note:', maxsplit=1)
-            return loc + self.style('note:', 'blue') + self.underline_link(msg)
+            formatted = self.highlight_quote_groups(self.underline_link(msg))
+            return loc + self.style('note:', 'blue') + formatted
         elif error.startswith(' ' * DEFAULT_SOURCE_OFFSET):
             # TODO: detecting source code highlights through an indent can be surprising.
             if '^' not in error:
