[source,vbnet]
----
Imports System.Diagnostics

Public Sub Method(MyObject As Object)
    Debug.Assert(MyObject IsNot Nothing)
    MyObject.ToString() ' Compliant: 'MyObject' is known to be not Nothing here.
End Sub
----