pub trait CheckRegId { // Required method fn check(self) -> RegId; }
Type is convertible to a RegId
RegId
Convert to a RegId, or panic