diff options
| author | xtex <xtexchooser@duck.com> | 2025-03-30 10:00:45 +0800 |
|---|---|---|
| committer | xtex <xtexchooser@duck.com> | 2025-04-03 17:35:51 +0800 |
| commit | fdefffecb2a1c2b89dfc2c5ad041c02144adda81 (patch) | |
| tree | 0760f1131f3f0930047e6a3cc8a011a818a3cdb6 /compiler/rustc_codegen_llvm/src | |
| parent | 365806089020f60a50391133a1430c40bc86963c (diff) | |
| download | rust-fdefffecb2a1c2b89dfc2c5ad041c02144adda81.tar.gz rust-fdefffecb2a1c2b89dfc2c5ad041c02144adda81.zip | |
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. Bug: #139082 Signed-off-by: xtex <xtexchooser@duck.com>
Diffstat (limited to 'compiler/rustc_codegen_llvm/src')
0 files changed, 0 insertions, 0 deletions