I believe that the usage here is correct. It is transitive for shared, const, and immutable. It is top qualifier for mutable.