fn fn_sig(tcx: TyCtxt<'_>, def_id: DefId) -> PolyFnSig<'_>