Generate better specs for record functions #916
Description
In particular: https://github.com/elixir-lang/elixir/blob/master/lib/elixir/lib/record.ex#L538
I think a lot of these specs could take into account the particular fields on the record (instead of a plain Keyword.t) and their types (as defined with record_type) such that Dialyzer would be able to catch bad arguments.
However, I know nothing about this module and the magic going on there. @yrashk ?