Desired Behavior

When (implicit_transitive_deps false) is specified, it would be good if dependencies required by ppx rewriters were excluded from it. For example, ppx_deriving.runtime should be left implicit even in this case, because in all likelihood it's only depended upon by automatically generated code, for which the dependency is already explicit in (pps …).

related: #2733