discuss "incorrect implied bounds in wfcheck"

[nikomatsakis]

Summary

As discussed in the Sep 11 t-types meeting, we want to have a deep-dive discussion of rust-lang/rust#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]

I've made a writeup of the issue at bevyengine/bevy#9808

[jackh726]

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.