Function sanity_check_found_hidden_type

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