format_comments.expected

f x ` hello
    ` goodbye
  y z

f x {` hello `}
    ` goodbye
  y z

f x {` hello
world `}
    ` goodbye
  y z

f x
  ` hello
  y z

f x y z

f x
  
  y z

(x ` variable
 : A) ` first arg
   → B `second arg
   → C

(x : A) ` first arg
   → B `second arg
   → C

(x : A) → B `second arg
   → C

(x : A) → B `second arg
   → C → C → C → C → C → C → C → C → C → C → C → C → C → C → C → C → C → C → C
  → C