Note [Ticks in applications]
We can get an application like (tick t f) True False via inlining in the CorePrep pass; see Note [Inlining in CorePrep] in GHC.CoreToStg.Prep. The tick does not satisfy tickishIsCode; the inlining-in-CorePrep happens for cpExprIsTrivial which tests tickishIsCode. So we test the same thing here, pushing any non-code ticks to the top (they don't generate any code, after all). This showed up in the fallout from fixing #19360.
References 1
- Inlining in CorePrep GHC.CoreToStg.Prep
Referenced by 1
- GHC.CoreToStg call site