SOURCE_FILE
  TRAIT
    TRAIT_KW "trait"
    WHITESPACE " "
    NAME
      IDENT "T"
    WHITESPACE " "
    WHERE_CLAUSE
      WHERE_KW "where"
      WHITESPACE " "
      WHERE_PRED
        PATH_TYPE
          PATH
            PATH_SEGMENT
              NAME_REF
                SELF_TYPE_KW "Self"
        COLON ":"
        WHITESPACE " "
        TYPE_BOUND_LIST
          TYPE_BOUND
            PATH_TYPE
              PATH
                PATH_SEGMENT
                  NAME_REF
                    IDENT "Copy"
    WHITESPACE " "
    ASSOC_ITEM_LIST
      L_CURLY "{"
      R_CURLY "}"
  WHITESPACE "\n"
