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