# Pastebin BMHIZvK3
type
  PObject = ref object not nil
  TProc = (proc (x, y: int)) not nil

proc p(x: PObject) =
  echo "not nil"


var x: PObject
p(x)