anchor.diff:              check_list_iter(Value, InnerType,
                               [{Value, T} | CheckStack], ParseState, 1);
           false ->
  -            {false, [{Value, not_a_list, T} | CheckStack]}
  +            {false, [{Value, no_list, T} | CheckStack]}
       end;
   check_list(Value, {nonempty_list, InnerType} = T, CheckStack, ParseState) ->
       case is_list(Value) andalso [] =/= Value of
  
positive.code:         {record, FieldList} when is_list(FieldList) ->
              check_record_fields(Value, Type, CheckStack, ParseState);
          reference ->
              case is_reference(Value) of
                  true -> {true, CheckStack};
                  false -> {false, [not_a_reference | CheckStack]}
              end;
          tid ->
              % built-in < R14; otherwise ets:tid()
              inner_check(Value, integer, CheckStack, ParseState);
  
negative.code:                     {false, [{Value, not_same_arity, T} | CheckStack]}
              end;
          false ->
              {false, [{Value, no_tuple, T} | CheckStack]}
      end.
  
  check_tuple_iter([], [], _CheckStack, _ParseState, _Count) ->
  