Unwrap NoInfer types when narrowing
#58292
+295
−4
Merged