In here, just only looking `shared` is necessary, because other qualifiers (mutable, `const`, `immutable`) are absorbed by the `inout`.