about summary refs log tree commit diff
path: root/compiler/rustc_codegen_llvm/src
diff options
context:
space:
mode:
authorLeón Orell Valerian Liehr <me@fmease.dev>2025-02-26 04:15:07 +0100
committerGitHub <noreply@github.com>2025-02-26 04:15:07 +0100
commit677295aa85544d82221c89151d85846f2afa8182 (patch)
treec59055576f77e9befc6209d274ccd5131809f3b5 /compiler/rustc_codegen_llvm/src
parenta579a23a73a9934d40e353f2d6d9361e9749164d (diff)
parent21d41b09dfb782d44da4c487d5c377bf36e9bddc (diff)
downloadrust-677295aa85544d82221c89151d85846f2afa8182.tar.gz
rust-677295aa85544d82221c89151d85846f2afa8182.zip
Rollup merge of #137604 - davidtwco:host-effect-resolve-vars, r=compiler-errors
trait_sel: resolve vars in host effects

In the standard library, the `Extend` impl for `Iterator` (specialised with `TrustedLen`) has a parameter which is constrained by a projection predicate. This projection predicate provides a value for an inference variable but - if the default bound is `const Sized` instead of `Sized` - host effect evaluation wasn't resolving variables first. Added a test that doesn't depend on a rust-lang/rfcs#3729 implementation.

Adding the extra resolve can the number of errors in some tests when they gain host effect predicates, but this is not unexpected as calls to `resolve_vars_if_possible` can cause more error tainting to happen.
Diffstat (limited to 'compiler/rustc_codegen_llvm/src')
0 files changed, 0 insertions, 0 deletions