about summary refs log tree commit diff
path: root/compiler/rustc_codegen_llvm/src/llvm_util.rs
diff options
context:
space:
mode:
authorYuki Okushi <jtitor@2k36.org>2022-09-28 13:07:18 +0900
committerGitHub <noreply@github.com>2022-09-28 13:07:18 +0900
commitb263b7e64c842ad10d7a0a32efd13ad1fbf9b035 (patch)
tree9e9254e530abd128f8963c7fc8a210c44a11c94a /compiler/rustc_codegen_llvm/src/llvm_util.rs
parent9436ffc226fa8e0359d19932c246b14d93d6e586 (diff)
parentca2e0bb51ad1a00190430134c67da5cda356745e (diff)
downloadrust-b263b7e64c842ad10d7a0a32efd13ad1fbf9b035.tar.gz
rust-b263b7e64c842ad10d7a0a32efd13ad1fbf9b035.zip
Rollup merge of #102338 - compiler-errors:assoc-ty-binding-in-assoc-ty-binding, r=cjgillot
Deny associated type bindings within associated type bindings

Fixes #102335

This was made worse by #100865, which unified the way we generate substs for GATs and non-generic associated types. However, the issue was not _caused_ by #100865, evidenced by the test I added for GATs:

```rust
trait T {
    type A: S<C<(), i32 = ()> = ()>;
    //~^ ERROR associated type bindings are not allowed here
}

trait Q {}

trait S {
    type C<T>: Q;
}

fn main() {}
```

^ which passes on beta (where GATs are stable) and presumably ever since GATs support was added to `create_substs_for_associated_item` in astconv.
Diffstat (limited to 'compiler/rustc_codegen_llvm/src/llvm_util.rs')
0 files changed, 0 insertions, 0 deletions