justin-millman / Kvasir / 9629804096 / 1

99%

master: 98%

push

github

Use Generic Attributes for [DataConverter], [Check], and [Check.Complex] Annotations

This commit changes the [DataConverter], [Check], and [Check.Complex] annotations to be generic, rather than taking the
type as a constructor argument. This allows for compile-time interface enforcement, and in the case of [DataConverter] a
compile-time check for default constructibility. Because the generic argument is only relevant on construction to
construct the underlying object, new abstract non-generic base classes have been introduced; these are necessary for the
Translation layer to operate on e.g. all [Check] constraints equivalently regardless of what their generic argument was.

1733 of 1818 branches covered (95.32%)

Branch coverage included in aggregate %.

5328 of 5379 relevant lines covered (99.05%)

2345.36 hits per line