* Use nonInferrableAnyType in types inferred from binding patterns * Add regression tests * Accept new baselines