anchor.diff:      {binary, ParseState};
   parse_type({type, _Line, pid, []}, _Module, ParseState) ->
       {pid, ParseState};
  +parse_type({type, _Line, tid, []}, _Module, ParseState) ->
  +    {tid, ParseState};
   parse_type({type, _Line, port, []}, _Module, ParseState) ->
       {port, ParseState};
   parse_type({type, _Line, float, []}, _Module, ParseState) ->
  
positive.code:         [] ->
              ParseState2;
          UnknownTypes ->
              collect_unknown_type_infos(UnknownTypes, ParseState2)
      end,
      case tester_parse_state:lookup_type({'fun', Module, Func, Arity}, ParseState3) of
          {value, _} ->
  
negative.code:         [] ->
              ParseState3;
          NewUnknownTypes ->
              collect_unknown_type_infos(NewUnknownTypes, ParseState3, Counter - 1)
      end.
  
  -spec collect_type_info/3 :: (module(), atom(), #parse_state{}) -> #parse_state{}.
  