disposing undefined pointer

Official Description

6.6.5.3 For dispose, it is an error if the pointer variable has an undefined value.

Error Handling

This error is always reported.