infer_effects: add optimize::Bool
optional argument
#54241
Merged
optimize::Bool
optional argument
#54241