Do not use opaque type for URI authority

[sabiwara]

#14837, same as 7c13e99.

URIs can also be inlined and cause similar issues that can't be fixed by generated anymore (same with a module attr containing a URI).

Example repro:

  @spec inlined :: URI.t()
  def inlined, do: URI.new!("example.com")

lib/repro.ex:27:contract_with_opaque
The @spec for Example.inlined/0 has an opaque
subtype %URI{
  :authority => URI.authority(),
  :fragment => nil | binary(),
  :host => nil | binary(),
  :path => nil | binary(),
  :port => nil | char(),
  :query => nil | binary(),
  :scheme => nil | binary(),
  :userinfo => nil | binary()
} which is violated by the success typing.

Success typing:
() :: %URI{
  :authority => nil,
  :fragment => nil,
  :host => nil,
  :path => <<_::88>>,
  :port => nil,
  :query => nil,
  :scheme => nil,
  :userinfo => nil
}

Not sure if we're still backporting, but if yes I think this probably should be?

[novaugust]

@sabiwara was the switch from typedoc to doc intentional?

[sabiwara]

Not at all, thanks for the catch @novaugust ! 💜