Skip to content

fix: ignore no_index around OfNat.ofNat in norm_cast (#6438) #26044

fix: ignore no_index around OfNat.ofNat in norm_cast (#6438)

fix: ignore no_index around OfNat.ofNat in norm_cast (#6438) #26044