Known problems The should_pass directory contains modules without type errors but for which type errors are reported. The should_fail directory contains modules for which we expect type errors to be reported, but which currently pass without errors.