IssueRaiser

Tracking issue for type equality constraints in where clauses

<!-- homu-ignore:start --> *[View all comments](https://triagebot.infra.rust-lang.org/gh-comments/rust-lang/rust/issues/20041)* <!-- homu-ignore:end --> > [!IMPORTANT] > This type-system feature is currently **not** on track to be implemented / become part of the language! Implement the missing type equality constraint specified in [RFC 135](https://github.com/rust-lang/rfcs/pull/135). ### Examples ```rs fn sum<I: Iterator>(_: I) -> i32 where I::Item == i32 // or `I::Item = i32` { // ... } ```

Posted by jroesch on Dec 19, 2014, 8:03 PM

Tags

Related issues

Raise real-world problems, find people facing the same issue, and discuss solutions.9,000 issues0 comments

github (Sysadmin)

Tracking issue for type equality constraints in where clauses

jroeschDec 19, 2014, 8:03 PM

<!-- homu-ignore:start --> *[View all comments](https://triagebot.infra.rust-lang.org/gh-comments/rust-lang/rust/issues/20041)* <!-- homu-ignore:end --> > [!IMPORTANT] > This type-system feature is currently **not** on track to be implemented / become part of the language! Implement the missing type equality constraint specified in [RFC 135](https://github.com/rust-lang/rfcs/pull/135). ### Examples ```rs fn sum<I: Iterator>(_: I) -> i32 where I::Item == i32 // or `I::Item = i32` { // ... } ```

Comments (0)

No comments yet. Start the discussion.

Comment on this issue