Support TS 4.7 extends
constraints for infer
(tests)
#12897
Merged
extends
constraints for infer
(tests)
#12897