[ci skip] Add Doc of with_options for the case when inherited default options and original options have same keys
Merge pull request #17034 from pramod-sharma/master

[ci skip] Add Doc of with_options for the case when inherited default options and original options have same keys