anchor.diff:    Warnings.
   
   -type collected_attribute() ::
  -        {Args :: term(), erl_scan:line(), file:filename()}.
  +        {Args :: term(), erl_anno:line(), file:filename()}.
   
   collect_attribute(Abs, Tag) ->
     collect_attribute(Abs, Tag, "nofile").
  
positive.code: %%  - Constraint is of the form {subtype, T1, T2} where T1 and T2
  %%    are erl_types:erl_type()
  
  get_spec_info([{attribute, Ln, Contract, {Id, TypeSpec}}|Left],
  	      SpecDict, CallbackDict, RecordsDict, ModName, OptCb, File)
    when ((Contract =:= 'spec') or (Contract =:= 'callback')),
         is_list(TypeSpec) ->
    MFA = case Id of
  	  {_, _, _} = T -> T;
  	  {F, A} -> {ModName, F, A}
  
negative.code: 
  %% Check F/A, and collect (unchecked) warning tags with line and file.
  -spec check_fa_list([collected_attribute()], atom(), [fa()]) ->
                         [{{atom(), erl_anno:line(), file:filename()},fa()}].
  
  check_fa_list(AttrFile, Tag, Functions) ->
    FuncTab = gb_sets:from_list(Functions),
  