fix #4731. we were missing some inferred method matches involving partially-specialized types