pub trait IRChecker { // Required method fn check(&mut self, cx: &mut IRCheckerContext) -> Result<()>; }