mirror of
https://github.com/rust-lang/rust.git
synced 2025-10-05 03:36:21 +00:00
5913c5248b
compiler: report error when trait object type param reference self 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. r? ````@compiler-errors```` ````@fee1-dead````
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.