about summary refs log tree commit diff
path: root/compiler/rustc_codegen_llvm/src
diff options
context:
space:
mode:
authorStuart Cook <Zalathar@users.noreply.github.com>2025-04-08 20:55:04 +1000
committerGitHub <noreply@github.com>2025-04-08 20:55:04 +1000
commit5913c5248b22593857dc90f5a65d0812b128eafa (patch)
treee09ddd2aef18723bb3f0c83ba3949af2462fb67d /compiler/rustc_codegen_llvm/src
parent7ffa56c3a3b95080511216d84f945fe3c3c77bb5 (diff)
parentfdefffecb2a1c2b89dfc2c5ad041c02144adda81 (diff)
downloadrust-5913c5248b22593857dc90f5a65d0812b128eafa.tar.gz
rust-5913c5248b22593857dc90f5a65d0812b128eafa.zip
Rollup merge of #139124 - xtexx:gh-139082, r=compiler-errors
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````
Diffstat (limited to 'compiler/rustc_codegen_llvm/src')
0 files changed, 0 insertions, 0 deletions