d5fe86559d
This is to record the red->green change in behavior between K1 and K2, when K2 correctly handles resolution/inference of an extension function with definitely non-nullable type.