fn pat_ty_is_known_nonnull<'tcx>( tcx: TyCtxt<'tcx>, typing_env: TypingEnv<'tcx>, pat: Pattern<'tcx>, ) -> bool