search

rust-lang / types-team

Home of the "types team", affiliated with the compiler and lang teams.
https://rust-lang.github.io/types-team/
Apache License 2.0
94 stars 19 forks source link

discuss "incorrect implied bounds in wfcheck" #99

Open nikomatsakis opened 12 months ago

nikomatsakis commented 12 months ago

Summary

As discussed in the Sep 11 t-types meeting, we want to have a deep-dive discussion of https://github.com/rust-lang/rust/pull/109763 to better understand the problem and discuss the best solution. The goal would be to cover what the problem is, what the proposed fix is, and specifically to understand the impact this could have on bevy consumers and how that might be mitigated.

Rationale

Broad impact.

alice-i-cecile commented 11 months ago

I've made a writeup of the issue at https://github.com/bevyengine/bevy/issues/9808

jackh726 commented 9 months ago

This was discussed in https://rust-lang.zulipchat.com/#narrow/stream/326132-t-types.2Fmeetings/topic/2023-11-27.20meeting.3F/near/404431120

But, we want to have a followup.