pub fn matched_fn_sig<'tcx>( tcx: TyCtxt<'tcx>, fn_sig1: PolyFnSig<'tcx>, fn_sig2: PolyFnSig<'tcx> ) -> bool