Function liberate_fn_sig 

fn liberate_fn_sig<'tcx>(tcx: TyCtxt<'tcx>, def_id: DefId) -> FnSig<'tcx>

The function’s signature with late-bound regions liberated to free ReLateParams, so reference regions are comparable (MIR erases them to ReErased).