rust-lang/rust
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

don't leave assoc const unnormalized due to unconstrained params

Browse Source
This commit is contained in:
Lukas Markeffsky
2025-02-21 18:34:14 +01:00
parent a825e37fe4
commit 7fea935ec5
5 changed files with 14 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
compiler/rustc_traits/src/codegen.rs
View File

@@ -80,16 +80,14 @@ pub(crate) fn codegen_select_candidate<'tcx>(
// but never resolved, causing the return value of a query to contain inference
// vars. We do not have a concept for this and will in fact ICE in stable hashing
// of the return value. So bail out instead.
match impl_source {
ImplSource::UserDefined(impl_) => {
tcx.dcx().span_delayed_bug(
tcx.def_span(impl_.impl_def_id),
"this impl has unconstrained generic parameters",
);
}
let guar = match impl_source {
ImplSource::UserDefined(impl_) => tcx.dcx().span_delayed_bug(
tcx.def_span(impl_.impl_def_id),
"this impl has unconstrained generic parameters",
),
_ => unreachable!(),
}
return Err(CodegenObligationError::FulfillmentError);
};
return Err(CodegenObligationError::UnconstrainedParam(guar));
}
Ok(&*tcx.arena.alloc(impl_source))