diff options
| author | Yuki Okushi <jtitor@2k36.org> | 2022-09-28 13:07:18 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-28 13:07:18 +0900 |
| commit | b263b7e64c842ad10d7a0a32efd13ad1fbf9b035 (patch) | |
| tree | 9e9254e530abd128f8963c7fc8a210c44a11c94a /compiler/rustc_codegen_llvm/src/llvm_util.rs | |
| parent | 9436ffc226fa8e0359d19932c246b14d93d6e586 (diff) | |
| parent | ca2e0bb51ad1a00190430134c67da5cda356745e (diff) | |
| download | rust-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
