You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
What is happening here is that coroutine has a type with the type parameter T substituted with i32, while Coroutine::resume for it expects the self parameter to have T be polymorphized, thus causing an assignment of a coroutine value with T=i32 to a place with T=T/#0 (a type parameter). The assert_assignable check rejects this as it didn't recurse into Coroutine and CoroutineWitness to hit the code path where assigning any type to a type parameter (and vice versa) is allowed when polymorphization is enabled.
snippet:
Version information
Command:
/home/matthias/.rustup/toolchains/master/bin/rustc -Zpolymorphize=on -Zcodegen-backend=cranelift
Program output
The text was updated successfully, but these errors were encountered: