path: root/lib/dialyzer/test/small_SUITE_data/src/contract5.erl

%%%-------------------------------------------------------------------
%%% File    : contract5.erl
%%% Author  : Tobias Lindahl <[email protected]>
%%% Description : Excercise modified record types.
%%%
%%% Created : 15 Apr 2008 by Tobias Lindahl <[email protected]>
%%%-------------------------------------------------------------------
-module(contract5).
-export([t/0]).

-record(bar, {baz}).

-spec t() -> #bar{baz :: boolean()}.

t() -> #bar{baz = not_a_boolean}.