fn get_nullable_type_from_pat<'tcx>( tcx: TyCtxt<'tcx>, typing_env: TypingEnv<'tcx>, base: Ty<'tcx>, pat: Pattern<'tcx>, ) -> Option<Ty<'tcx>>