Module blog::daily_rfcs::check::type_ck

RFCs about type check.

Modules

_0034_bounded_type_parameters

Check all types for well-formedness with respect to the bounds of type variables.

_0447_no_unused_impl_parameters

Disallow unconstrained type parameters from impls.

_0803_type_ascription

Add type ascription to expressions.