In https://developer.garmin.com/connect-iq/api-docs/Toybox/WatchUi.html#pushView-instance_function (SDK 8.1.0) the Returns section is missing.
Or the method declaration is incorrectly states the return type as Boolean:
pushView(view as WatchUi.Views, delegate as WatchUi.InputDelegates or Null, transition as WatchUi.SlideType) as Lang.Boolean
