Check actual type parameters against their bounds by nrc · Pull Request #34 · rust-lang/rfcs (original) (raw)

@alexcrichton No #20 is a prerequisite to this one, it suggests adding bounds to structs and enums. This RFC suggests checking against the given bounds wherever they are given - whether that is structs, enums, or traits. In the taxonomy of comment #20 (comment), that RFC is part 1, this RFC is part 2.