pub(super) fn pat_from_hir<'tcx, 'ptcx>(
upper: &'ptcx mut ThirBuildCx<'tcx>,
tcx: TyCtxt<'tcx>,
typing_env: TypingEnv<'tcx>,
typeck_results: &'tcx TypeckResults<'tcx>,
pat: &'tcx Pat<'tcx>,
let_stmt_type: Option<&Ty<'tcx>>,
) -> Box<Pat<'tcx>>