How is this related to `safe' from WartRemover?

WartRemover (https://github.com/pufuwozu/wartremover) provides a `safe' macro that checks your expressions, including statement lists, for problematic constructs. Some of those checks fall in the area of type information, such as forbidding inferred `Nothing's and `Manifest's.

Stylish Types, however, checks definitions; that never gets closer to expressions than the argument and return types of methods. Stylish Types can't check for what WartRemover checks for, and vice versa. Stylish Types is also organized a little differently, being an analysis tool you apply to compiled code, rather than while scalac is compiling.