RFC 135 specifies that where clauses that involve no generic parameters, such as where int : Eq, are illegal. We should add a test that checks that a suitable error is reported. Note that the type parameter may appear outside the self type, however, so something like where int : Foo<Option<X>> should be fine.
RFC 135 specifies that where clauses that involve no generic parameters, such as
where int : Eq, are illegal. We should add a test that checks that a suitable error is reported. Note that the type parameter may appear outside the self type, however, so something likewhere int : Foo<Option<X>>should be fine.