Navigator 관련 질문드립니다.

코드를 작성하던 중 안드로이드 스튜디오에서

Navigator.of(context).pop() 을
Navigator.pop() 으로 자동완성 시켜주어 모르고 쓰던 도중 보니 Navigator.pop(true)라고 쓰면 add cast를 하라며 Navigator.pop(true as BuildContext)라고 고쳐주더군요. 찾아보니 Navigator.pop(true as BuildContext)와 Navigator.of(context).pop(true)는 완전히 같은 기능을 하는 것 같은데 공부가 필요한 내용일까요??