Skip to main content

weir/dominators/
tag.rs

1/// Soundness marker.
2#[derive(Clone, Copy, Debug, PartialEq, Eq)]
3pub struct Dominators;
4
5impl crate::soundness::SoundnessTagged for Dominators {
6    fn soundness(&self) -> crate::soundness::Soundness {
7        crate::soundness::Soundness::Exact
8    }
9}