SOURCE_FILE
  STRUCT
    STRUCT_KW "struct"
    WHITESPACE " "
    NAME
      IDENT "S"
    GENERIC_PARAM_LIST
      L_ANGLE "<"
      TYPE_PARAM
        NAME
          IDENT "T"
        COLON ":"
        WHITESPACE " "
        TYPE_BOUND_LIST
          TYPE_BOUND
            PATH_TYPE
              PATH
                PATH_SEGMENT
                  NAME_REF
                    IDENT "Copy"
      R_ANGLE ">"
    WHITESPACE " "
    RECORD_FIELD_LIST
      L_CURLY "{"
      WHITESPACE "\n    "
      RECORD_FIELD
        NAME
          IDENT "f"
        COLON ":"
        WHITESPACE " "
        PATH_TYPE
          PATH
            PATH_SEGMENT
              NAME_REF
                IDENT "T"
      COMMA ","
      WHITESPACE "\n"
      R_CURLY "}"
  WHITESPACE "\n"
