+ (not essential_unfoldings_only || idMustBeINLINEd var) &&
+ ok_to_inline &&
+ -- If "essential_unfolds_only" is true we do no inlinings at all,
+ -- EXCEPT for things that absolutely have to be done
+ -- (see comments with idMustBeINLINEd)
+ --
+ -- Need to be careful: the RHS of INLINE functions is protected against inlining
+ -- by essential_unfoldings_only being set true; we must not inline workers back into
+ -- wrappers, even thouth the former have an unfold-always guidance.