]> git.lizzy.rs Git - rust.git/commit
Rollup merge of #107525 - RalfJung:pointee-info, r=eddyb
authorGuillaume Gomez <guillaume1.gomez@gmail.com>
Tue, 31 Jan 2023 22:38:54 +0000 (23:38 +0100)
committerGitHub <noreply@github.com>
Tue, 31 Jan 2023 22:38:54 +0000 (23:38 +0100)
commit7e6fc82951456976c67da8b56b46a8d5a4c30ba3
treef3e8b809bb3492e43e4ea05f4dcdf05ce712ed3e
parentfe44f3bdd082eb04a1e42212e613a7c84c018f00
parentc8e8d6e7f667edbdf5ca97afe2ec877fd9eff480
Rollup merge of #107525 - RalfJung:pointee-info, r=eddyb

PointeeInfo is advisory only

https://github.com/rust-lang/rust/pull/107248 fixed PointeeInfo being used in ways that don't actually work. Hopefully this comments helps avoid such issues in the future.

Cc ``@eddyb``