_ -> usage1

          -- usage3: see Note [Quasi join points] in GHC.Core.Opt.Simplify.Iteration.

     in WUD usage3 (Cast expr' co)

       | Breakpoint _ _ ids <- tickish

       = -- Never substitute for any of the Ids in a Breakpoint

         addManyOccs usage_lam (mkVarSet ids)

       | otherwise

       = usage_lam

   = let (WUD usage expr') = occAnal env expr

         usage1 = addManyOccs usage (coVarsOfCo co)

             -- usage1: see Note [Gather occurrences of coercion variables]

             -- usage2: see Note [Quasi join points]

     in WUD usage2 (Cast expr' co)

   | fun `hasKey` runRWKey

   , [t1, t2, arg]  <- args

   , WUD usage arg' <- adjustNonRecRhs (Just 1) $ occAnalLamTail env arg

   = let app_out = mkTicks ticks $ mkApps (Var fun) [t1, t2, arg']

     in WUD usage app_out

   = cont -- Not a jump

 trimJoinCont var (JoinPoint { joinPointType = join_ty, joinPointArity = arity }) cont

   | QuasiJoinPoint <- join_ty

   = cont

   | otherwise

   = trim arity cont

              -- arity: See Note [Invariants on join points] invariant 2b, in GHC.Core

              join_arity = length bndrs

              details    = JoinId

                             , joinIdArity    = join_arity

                             , joinIdCbvMarks = Nothing

                             }