about summary refs log tree commit diff
path: root/compiler/rustc_codegen_llvm/src/errors.rs
diff options
context:
space:
mode:
authorMatthias Krüger <matthias.krueger@famsik.de>2024-02-10 13:12:28 +0100
committerGitHub <noreply@github.com>2024-02-10 13:12:28 +0100
commite11e4446daf09d3278c89a2cadf8865533c7fc46 (patch)
treebaa3ce16130e77918532eb59cbf314e4b12e8fb1 /compiler/rustc_codegen_llvm/src/errors.rs
parent0b7f0ff230b125032d1ac29a9d34195bc5d8d42a (diff)
parente6f5af967132139ba584ad3c04df8dac83dc2640 (diff)
downloadrust-e11e4446daf09d3278c89a2cadf8865533c7fc46.tar.gz
rust-e11e4446daf09d3278c89a2cadf8865533c7fc46.zip
Rollup merge of #120719 - compiler-errors:no-dyn-atb, r=lcnr
Remove support for `associated_type_bound` nested in `dyn` types

These necessarily desugar to `impl Trait`, which is inconsistent with the `associated_type_bound` feature after #120584.

This PR keeps the `is_in_dyn_type` hack, which kind of makes me sad. Ideally, we'd be validating that no object types have associated type bounds somewhere else. Unfortunately, we can't do this later during astconv (i think?), nor can we do it earlier during ast validation (i think?) because of the feature gating of ATB being a *warning* rather than an *error*. Let me know if you have thoughts about this.

r? lcnr
Diffstat (limited to 'compiler/rustc_codegen_llvm/src/errors.rs')
0 files changed, 0 insertions, 0 deletions