fn sanity_check_found_hidden_type<'tcx>(
    tcx: TyCtxt<'tcx>,
    key: OpaqueTypeKey<'tcx>,
    ty: OpaqueHiddenType<'tcx>
) -> Result<(), ErrorGuaranteed>