Matthias Krüger 6f8fb911ad Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r=estebank ... Allow destructuring opaque types in their defining scopes fixes #96572 Before this PR, the following code snippet failed with an incomprehensible error, and similar code just ICEd in mir borrowck. ```rust type T = impl Copy; let foo: T = (1u32, 2u32); let (a, b) = foo; ``` The problem was that the last line created MIR projections of the form `foo.0` and `foo.1`, but `foo`'s type is `T`, which doesn't have fields (only its hidden type does). But the pattern supplies enough type information (a tuple of two different inference types) to bind a hidden type.		2022-07-16 22:30:47 +02:00
..
src	Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r=estebank	2022-07-16 22:30:47 +02:00
Cargo.toml	Update smallvec to 1.8.1.	2022-06-27 08:48:55 +10:00