# Can one set the memory effect of a function to \`?m\`?

**URL:** https://discourse.julialang.org/t/can-one-set-the-memory-effect-of-a-function-to-m/135087
**Category:** Internals & Design
**Tags:** effects
**Created:** [January 15, 2026, 9:55pm UTC](https://discourse.julialang.org/t/can-one-set-the-memory-effect-of-a-function-to-m/135087 "2026-01-15T21:55:06Z")
**Posts on this page:** 1
**Page:** 1

<div class="post-metadata">

### Author: ![matthias314](https://avatars.discourse-cdn.com/v4/letter/m/a88e4f/32.png) [@matthias314](https://discourse.julialang.org/u/matthias314)
#### Post date: [January 15, 2026, 9:55pm UTC](https://discourse.julialang.org/t/can-one-set-the-memory-effect-of-a-function-to-m/135087/1 "2026-01-15T21:55:06Z")

</div>

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`?
