anchor.diff:    | _ ->
         group (p_noSeqTerm ps pb e)
   
  -and p_noSeqTerm ps pb e = with_comment (p_noSeqTerm' ps pb) e e.range
  +and p_noSeqTerm ps pb e = with_comment (p_noSeqTerm' ps pb) e e.range "!3"
   
   and p_noSeqTerm' ps pb e = match e.tm with
     | Ascribed (e, t, None) ->
  
positive.code:   | Some terms ->
      group (str "[@" ^/^ (separate_map break1 p_atomicTerm terms) ^/^ str "]")
  
  and p_typ ps pb e = with_comment (p_typ' ps pb) e e.range
  
  and p_typ' ps pb e = match e.tm with
    | QForall (bs, trigger, e1)
  
negative.code:     p_typeDeclPrefix pre true lid bs typ_opt, f
    | TyconRecord (lid, bs, typ_opt, record_field_decls) ->
      let p_recordFieldAndComments ps (lid, t, doc_opt) =
        with_comment (p_recordFieldDecl ps) (lid, t, doc_opt) (extend_to_end_of_line t.range) "!1"
      in
      let p_fields () =
          space ^^ braces_with_nesting (
  