fn check_no_missing_methods( block: &Loc<ImplBlock>, missing_methods: HashSet<&Identifier>, ) -> Result<()>