anchor.diff:                t(a) -> foo:bar().
                ">>,
              [],
  -           {errors,[{2,erl_parse,"bad type variable"}],[]}},
  +           {errors,[{{2,47},erl_parse,"bad type variable"}],[]}},
             {constraint4,
              <<"-export([t/1]).
                 -spec t(X) -> X when is_subtype(atom(), integer()).
                 t(a) -> foo:bar().
                ">>,
              [],
  -           {errors,[{2,erl_parse,"bad type variable"}],[]}},
  +           {errors,[{{2,47},erl_parse,"bad type variable"}],[]}},
             {constraint5,
              <<"-export([t/1]).
                 -spec t(X) -> X when is_subtype(X, integer()).
  
positive.code:             t() ->
                  1.
           ">>,
      {errors,[{6,erl_lint,{undefined_type,{product,0}}},
               {8,erl_lint,{builtin_type,{map,0}}}], []} =
          run_test2(Config, Ts, []),
      ok.
  
  
negative.code:                   F(<<16:8, 8:16, 32:8>>).
               ">>,
             [],
             {warnings,[{{3,29},erl_lint,{shadowed_var,'L','fun'}}]}},
            {otp_5091_10,
             <<"t() ->
                  L = 8, <<A:L,B:A>> = <<16:8, 7:16>>, B.
  