bjoernager/rust
bjoernager/rust
1
Fork 0
Code Issues Pull requests Activity

Suppress copy impl error when post-normalized type references errors

Browse source
This commit is contained in:
Michael Goulet 2023-03-07 23:37:52 +00:00
parent 1a521db67e
commit 8a99ffc344
5 changed files with 49 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

7
compiler/rustc_trait_selection/src/traits/misc.rs
View file

@ -87,7 +87,12 @@ pub fn type_allowed_to_implement_copy<'tcx>(
};
let ty = ocx.normalize(&normalization_cause, param_env, unnormalized_ty);
let normalization_errors = ocx.select_where_possible();
if !normalization_errors.is_empty() {
// NOTE: The post-normalization type may also reference errors,
// such as when we project to a missing type or we have a mismatch
// between expected and found const-generic types. Don't report an
// additional copy error here, since it's not typically useful.
if !normalization_errors.is_empty() || ty.references_error() {
tcx.sess.delay_span_bug(field_span, format!("couldn't normalize struct field `{unnormalized_ty}` when checking Copy implementation"));
continue;
}