diff options
| author | Matthias Krüger <476013+matthiaskrgr@users.noreply.github.com> | 2025-05-22 16:02:24 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-05-22 16:02:24 +0200 |
| commit | 4c6aee567df528e7861a6949150fcc6351358007 (patch) | |
| tree | e3249742d42431b483e17a4ff15aacb277e9ae4a /compiler/rustc_codegen_llvm/src/errors.rs | |
| parent | 3529341afd27eac3f6b22e02131f48f063e3ef51 (diff) | |
| parent | cc10370fc8b2b412600aa846e3046b8a09dda7ca (diff) | |
| download | rust-4c6aee567df528e7861a6949150fcc6351358007.tar.gz rust-4c6aee567df528e7861a6949150fcc6351358007.zip | |
Rollup merge of #139635 - BoxyUwU:no_order_dependent_copy_checks, r=lcnr
Finalize repeat expr inference behaviour with inferred repeat counts I believe this should be the last change of how repeat exprs are handled before it's finished for `generic_arg_infer`. Assuming we don't wind up deciding to replace this all with a new predicate kind :) This PR has three actual changes: - Always defer the checks to end of typeck even when generic arg infer is not enabled (needs an FCP) - Properly handle element exprs that are constants when the repeat count is inferred - "Isolate" each repeat expr check so that inference constraints from `Copy` goals dont affect other repeat expr checks resulting in weird order-dependent inference The commit history and tests should be relatively helpful for understanding this PR's impl. r? compiler-errors
Diffstat (limited to 'compiler/rustc_codegen_llvm/src/errors.rs')
0 files changed, 0 insertions, 0 deletions