diff options
| author | Oli Scherer <github333195615777966@oli-obk.de> | 2024-12-10 10:12:36 +0000 |
|---|---|---|
| committer | Oli Scherer <github333195615777966@oli-obk.de> | 2024-12-12 20:06:03 +0000 |
| commit | 2ffe3b1e70a55867de5c85b9cb24cb1a2a3d6162 (patch) | |
| tree | 8b53d33212677e3b2d417a61e102ebb335d4f412 /compiler/rustc_trait_selection/src/traits | |
| parent | c0e0d8f8746740768c13bdb632d7b7f1fef2f17a (diff) | |
| download | rust-2ffe3b1e70a55867de5c85b9cb24cb1a2a3d6162.tar.gz rust-2ffe3b1e70a55867de5c85b9cb24cb1a2a3d6162.zip | |
Move impl constness into impl trait header
Diffstat (limited to 'compiler/rustc_trait_selection/src/traits')
| -rw-r--r-- | compiler/rustc_trait_selection/src/traits/effects.rs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/compiler/rustc_trait_selection/src/traits/effects.rs b/compiler/rustc_trait_selection/src/traits/effects.rs index 07fb2efb7fe..b17a489a857 100644 --- a/compiler/rustc_trait_selection/src/traits/effects.rs +++ b/compiler/rustc_trait_selection/src/traits/effects.rs @@ -128,7 +128,9 @@ fn evaluate_host_effect_from_selection_candiate<'tcx>( Err(_) => Err(EvaluationFailure::NoSolution), Ok(Some(source)) => match source { ImplSource::UserDefined(impl_) => { - if tcx.constness(impl_.impl_def_id) != hir::Constness::Const { + if tcx.impl_trait_header(impl_.impl_def_id).unwrap().constness + != hir::Constness::Const + { return Err(EvaluationFailure::NoSolution); } |