--- parse tree ---
[ Code
    "test/typ/text/shift-02.typ"
    ( line 1 , column 2 )
    (Let
       (BasicBind (Just (Identifier "test")))
       (FuncExpr
          [ NormalParam (Identifier "x") , NormalParam (Identifier "y") ]
          (Block
             (CodeBlock
                [ If
                    [ ( Equals (Ident (Identifier "x")) (Ident (Identifier "y"))
                      , Block (Content [ Text "\9989" ])
                      )
                    , ( Literal (Boolean True)
                      , Block
                          (Content
                             [ Text "\10060"
                             , Text "("
                             , Code
                                 "test/typ/text/shift-02.typ"
                                 ( line 1 , column 47 )
                                 (FuncCall
                                    (Ident (Identifier "repr"))
                                    [ NormalArg (Ident (Identifier "x")) ])
                             , Space
                             , Text "/"
                             , Text "="
                             , Space
                             , Code
                                 "test/typ/text/shift-02.typ"
                                 ( line 1 , column 59 )
                                 (FuncCall
                                    (Ident (Identifier "repr"))
                                    [ NormalArg (Ident (Identifier "y")) ])
                             , Text ")"
                             ])
                      )
                    ]
                ]))))
, SoftBreak
, Code
    "test/typ/text/shift-02.typ"
    ( line 2 , column 2 )
    (Set
       (Ident (Identifier "underline"))
       [ KeyValArg (Identifier "stroke") (Literal (Numeric 0.5 Pt))
       , KeyValArg (Identifier "offset") (Literal (Numeric 0.15 Em))
       ])
, SoftBreak
, Code
    "test/typ/text/shift-02.typ"
    ( line 3 , column 2 )
    (FuncCall
       (Ident (Identifier "underline"))
       [ BlockArg
           [ Text "The"
           , Space
           , Text "claim"
           , Code
               "test/typ/text/shift-02.typ"
               ( line 3 , column 22 )
               (FuncCall
                  (Ident (Identifier "super"))
                  [ BlockArg [ Text "[" , Text "4" , Text "]" ] ])
           ]
       ])
, Space
, Text "has"
, Space
, Text "been"
, Space
, Text "disputed"
, Text "."
, Space
, HardBreak
, Text "The"
, Space
, Text "claim"
, Code
    "test/typ/text/shift-02.typ"
    ( line 4 , column 11 )
    (FuncCall
       (Ident (Identifier "super"))
       [ BlockArg
           [ Code
               "test/typ/text/shift-02.typ"
               ( line 4 , column 18 )
               (FuncCall
                  (Ident (Identifier "underline"))
                  [ BlockArg [ Text "[" , Text "4" , Text "]" ] ])
           ]
       ])
, Space
, Text "has"
, Space
, Text "been"
, Space
, Text "disputed"
, Text "."
, Space
, HardBreak
, Text "It"
, Space
, Text "really"
, Space
, Text "has"
, Space
, Text "been"
, Code
    "test/typ/text/shift-02.typ"
    ( line 5 , column 20 )
    (FuncCall
       (Ident (Identifier "super"))
       [ NormalArg
           (FuncCall
              (Ident (Identifier "box"))
              [ NormalArg
                  (FuncCall
                     (Ident (Identifier "text"))
                     [ KeyValArg (Identifier "baseline") (Literal (Numeric 0.0 Pt))
                     , NormalArg
                         (FuncCall
                            (Ident (Identifier "underline"))
                            [ BlockArg [ Text "[" , Text "4" , Text "]" ] ])
                     ])
              ])
       ])
, Space
, HardBreak
]
--- evaluated ---
document(body: { text(body: [
]), 
                 text(body: [
]), 
                 underline(body: { text(body: [The claim]), 
                                   super(body: text(body: [[4]])) }, 
                           offset: 0.15em, 
                           stroke: 0.5pt), 
                 text(body: [ has been disputed. ]), 
                 linebreak(), 
                 text(body: [The claim]), 
                 super(body: underline(body: text(body: [[4]]), 
                                       offset: 0.15em, 
                                       stroke: 0.5pt)), 
                 text(body: [ has been disputed. ]), 
                 linebreak(), 
                 text(body: [It really has been]), 
                 super(body: box(body: text(baseline: 0.0pt, 
                                            body: underline(body: text(body: [[4]]), 
                                                            offset: 0.15em, 
                                                            stroke: 0.5pt)))), 
                 text(body: [ ]), 
                 linebreak() })