The docstring for the (non-public) function Base.infer_effects lists among other things
inaccessiblememonly(m):
-+m(green):ALWAYS_TRUE
--m(red):ALWAYS_FALSE
-?m(yellow):INACCESSIBLEMEM_OR_ARGMEMONLY
The docstring for Base.@assume_effects only mentions the option :inaccessiblememonly to get +m; combined with ! one gets -m. Is there a way to set this effect to ?m?