update
This commit is contained in:
parent
c3681d62ee
commit
9a78c2b11d
5 changed files with 5 additions and 5 deletions
|
|
@ -10,7 +10,7 @@
|
|||
// However, we did not account for the expected type being different than the tuple pattern type.
|
||||
// This caused an issue when the tuple pattern type (`P<T>`) was generic.
|
||||
// Specifically, we tried deriving the 0th field's type using the `substs` of the expected type.
|
||||
// When attempting to substitute `T`, there was no such substitution, so "out of range" occured.
|
||||
// When attempting to substitute `T`, there was no such substitution, so "out of range" occurred.
|
||||
|
||||
struct U {} // 0 type parameters offered
|
||||
struct P<T>(T); // 1 type parameter wanted
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue