Warning C28291

Post null/notnull at deref level 0 is meaningless for function 'x' at param 'number'

The Code Analysis tool reports this warning when the post condition of a dereference level-zero parameter is specified to have a null/non-null property. This error occurs because a value at dereference level zero can't change.