fn label_fn_like<'tcx>(
    tcx: TyCtxt<'tcx>,
    err: &mut DiagnosticBuilder<'tcx, ErrorGuaranteed>,
    def_id: Option<DefId>
)