mirror of
https://github.com/rust-lang/rust.git
synced 2025-10-05 03:36:21 +00:00
fdefffecb2
Fixes #139082. Emits an error when `Self` is found in the projection bounds of a trait object. In type aliases, `Self` has no meaning, so `type A = &'static dyn B` where `trait B = Fn() -> Self` will expands to `type A = &'static Fn() -> Self` which is illegal, causing the region solver to bail out when hitting the uninferred Self. Bug: #139082 Signed-off-by: xtex <xtexchooser@duck.com>
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.