diff options
| author | bors <bors@rust-lang.org> | 2025-07-20 21:29:18 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2025-07-20 21:29:18 +0000 |
| commit | 460259d14de0274b97b8801e08cb2fe5f16fdac5 (patch) | |
| tree | 5fa58c069e98871e94a13bb49cbf1d2edf02d872 /compiler/rustc_traits/src/evaluate_obligation.rs | |
| parent | 9982d6462bedf1e793f7b2dbd655a4e57cdf67d4 (diff) | |
| parent | 1e96d7a55304f8573b6dfeb5ccbdabdb407b89b9 (diff) | |
| download | rust-460259d14de0274b97b8801e08cb2fe5f16fdac5.tar.gz rust-460259d14de0274b97b8801e08cb2fe5f16fdac5.zip | |
Auto merge of #143309 - compiler-errors:param-sized-fast-path, r=lcnr
Consider param-env for sizedness fast path Look up `T: Sized` in param-env if `T` is a param or placeholder (the latter is for use in the new solver).
Diffstat (limited to 'compiler/rustc_traits/src/evaluate_obligation.rs')
| -rw-r--r-- | compiler/rustc_traits/src/evaluate_obligation.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_traits/src/evaluate_obligation.rs b/compiler/rustc_traits/src/evaluate_obligation.rs index 7771db855d7..819b8e3231c 100644 --- a/compiler/rustc_traits/src/evaluate_obligation.rs +++ b/compiler/rustc_traits/src/evaluate_obligation.rs @@ -24,7 +24,7 @@ fn evaluate_obligation<'tcx>( debug!("evaluate_obligation: goal={:#?}", goal); let ParamEnvAnd { param_env, value: predicate } = goal; - if sizedness_fast_path(tcx, predicate) { + if sizedness_fast_path(tcx, predicate, param_env) { return Ok(EvaluationResult::EvaluatedToOk); } |