f2532012dd
This commit uses the map introduced by the previous commit to ensure that types are always checked for well-formedness by the NLL type check. Previously, without the map introduced by the previous commit, types would not be checked for well-formedness if the `AscribeUserType` statement that would trigger that check was removed as unreachable code.
21 lines
821 B
Plaintext
21 lines
821 B
Plaintext
error[E0491]: in type `&'a WithAssoc<TheType<'b>>`, reference has a longer lifetime than the data it references
|
|
--> $DIR/regions-outlives-projection-container-wc.rs:34:12
|
|
|
|
|
LL | let _: &'a WithAssoc<TheType<'b>> = loop { };
|
|
| ^^^^^^^^^^^^^^^^^^^^^^^^^^
|
|
|
|
|
note: the pointer is valid for the lifetime 'a as defined on the function body at 28:15
|
|
--> $DIR/regions-outlives-projection-container-wc.rs:28:15
|
|
|
|
|
LL | fn with_assoc<'a,'b>() {
|
|
| ^^
|
|
note: but the referenced data is only valid for the lifetime 'b as defined on the function body at 28:18
|
|
--> $DIR/regions-outlives-projection-container-wc.rs:28:18
|
|
|
|
|
LL | fn with_assoc<'a,'b>() {
|
|
| ^^
|
|
|
|
error: aborting due to previous error
|
|
|
|
For more information about this error, try `rustc --explain E0491`.
|