Expand Up
@@ -380,3 +380,13 @@ library/typing,1004,`,# Type of ``val`` is narrowed to ``str``
library/typing,1004,`,"# Else, type of ``val`` is narrowed to ``float``."
library/typing,1004,`,# Type of ``val`` is narrowed to ``List[str]``.
library/typing,1004,`,# Type of ``val`` remains as ``List[object]``.
library/tkinter,312,::,ttk::frame .frm -padding 10
library/tkinter,312,::,"grid [ttk::label .frm.lbl -text ""Hello World!""] -column 0 -row 0"
library/tkinter,312,::,"grid [ttk::button .frm.btn -text ""Quit"" -command ""destroy .""] -column 1 -row 0"
library/tkinter,322,::,ttk::frame
library/tkinter,420,::,ttk::button
library/tkinter,428,::,ttk::widget
library/typing,1011,`,# Type of ``val`` is narrowed to ``str``
library/typing,1011,`,"# Else, type of ``val`` is narrowed to ``float``."
library/typing,1011,`,# Type of ``val`` is narrowed to ``List[str]``.
library/typing,1011,`,# Type of ``val`` remains as ``List[object]``.