Maybe this could paragraph could mention that forced inlining is done in the front-end.  That wasn't obvious (to me at least) until @brson clarified it.