Function sanity_check_found_hidden_type 

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