pub fn check(_module: &Module) -> Result<(), Vec<Error>>Expand description
Verify that every case expression in module covers its scrutinee’s variants.
Currently a stub: it inspects nothing and accepts every module. The
Vec<Error> return is the accumulating shape the other phases use — when the
checker is written, one uncovered case must not hide the next.