]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: fe44f3b c8e8d6e)
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)
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``


Trivial merge
Empowering everyone to build reliable and efficient software.