Observed and declared terminal return shapes for one function.
@type t() :: %Reach.Evidence.ReturnContract.Fact{ arity: term(), declared_contract: term(), file: term(), function: term(), impl: term(), line: term(), module: term(), outcomes: term(), visibility: term() }