| 17 | | Here, `f` will be inlined into `g1` as you'd expect, but obviously not into `g2` (since it's not applied to anything). |
| 18 | | However `f`'s right hand side will be optimised (sepraately from the copy retained for inlining) so that the |
| 19 | | call from `g2` runs optimised code. |
| | 17 | Here, `f` will be inlined into `g1` as you'd expect, but obviously not into `g2` (since it's not applied to anything). However `f`'s right hand side will be optimised (sepraately from the copy retained for inlining) so that the call from `g2` runs optimised code. |