fn irrefutable_let_pattern(tcx: TyCtxt<'_>, id: HirId, span: Span)