Function trait_refs_are_compatible

fn trait_refs_are_compatible<'tcx>(
    tcx: TyCtxt<'tcx>,
    hr_vtable_principal: PolyExistentialTraitRef<'tcx>,
    hr_target_principal: PolyExistentialTraitRef<'tcx>,
) -> bool