Model exact narrowing with type(x) checks #20703
+54
−7
Merged
Loading