Skip to content
This repository was archived by the owner on May 28, 2025. It is now read-only.

Commit a91c361

Browse files
oli-obkoli-obk
committed
Avoid opaque type not constrained errors in the presence of other errors
1 parent ec3424a commit a91c361

23 files changed

+56
-135
lines changed

‎compiler/rustc_hir_analysis/src/collect/type_of/opaque.rs‎

Lines changed: 12 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -226,13 +226,18 @@ impl TaitConstraintLocator<'_> {
226226
constrained = true;
227227

228228
if !opaque_types_defined_by.contains(&self.def_id) {
229-
self.tcx.dcx().emit_err(TaitForwardCompat {
229+
let guar = self.tcx.dcx().emit_err(TaitForwardCompat {
230230
span: hidden_type.span,
231231
item_span: self
232232
.tcx
233233
.def_ident_span(item_def_id)
234234
.unwrap_or_else(|| self.tcx.def_span(item_def_id)),
235235
});
236+
// Avoid "opaque type not constrained" errors on the opaque itself.
237+
self.found = Some(ty::OpaqueHiddenType {
238+
span: DUMMY_SP,
239+
ty: Ty::new_error(self.tcx, guar),
240+
});
236241
}
237242
let concrete_type =
238243
self.tcx.erase_regions(hidden_type.remap_generic_params_to_declaration_params(
@@ -248,14 +253,19 @@ impl TaitConstraintLocator<'_> {
248253
if !constrained {
249254
debug!("no constraints in typeck results");
250255
if opaque_types_defined_by.contains(&self.def_id) {
251-
self.tcx.dcx().emit_err(TaitForwardCompat2 {
256+
let guar = self.tcx.dcx().emit_err(TaitForwardCompat2 {
252257
span: self
253258
.tcx
254259
.def_ident_span(item_def_id)
255260
.unwrap_or_else(|| self.tcx.def_span(item_def_id)),
256261
opaque_type_span: self.tcx.def_span(self.def_id),
257262
opaque_type: self.tcx.def_path_str(self.def_id),
258263
});
264+
// Avoid "opaque type not constrained" errors on the opaque itself.
265+
self.found = Some(ty::OpaqueHiddenType {
266+
span: DUMMY_SP,
267+
ty: Ty::new_error(self.tcx, guar),
268+
});
259269
}
260270
return;
261271
};

‎tests/ui/higher-ranked/trait-bounds/normalize-under-binder/norm-before-method-resolution-opaque-type.next.stderr‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
error[E0284]: type annotations needed: cannot satisfy `Foo == _`
2-
--> $DIR/norm-before-method-resolution-opaque-type.rs:16:19
2+
--> $DIR/norm-before-method-resolution-opaque-type.rs:15:19
33
|
44
LL | fn weird_bound<X>(x: &<X as Trait<'static>>::Out<Foo>) -> X
55
| ^ cannot satisfy `Foo == _`

‎tests/ui/higher-ranked/trait-bounds/normalize-under-binder/norm-before-method-resolution-opaque-type.old.stderr‎

Lines changed: 3 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
error: item does not constrain `Foo::{opaque#0}`, but has it in its signature
2-
--> $DIR/norm-before-method-resolution-opaque-type.rs:16:4
2+
--> $DIR/norm-before-method-resolution-opaque-type.rs:15:4
33
|
44
LL | fn weird_bound<X>(x: &<X as Trait<'static>>::Out<Foo>) -> X
55
| ^^^^^^^^^^^
@@ -11,16 +11,8 @@ note: this opaque type is in the signature
1111
LL | type Foo = impl Sized;
1212
| ^^^^^^^^^^
1313

14-
error: unconstrained opaque type
15-
--> $DIR/norm-before-method-resolution-opaque-type.rs:13:12
16-
|
17-
LL | type Foo = impl Sized;
18-
| ^^^^^^^^^^
19-
|
20-
= note: `Foo` must be used in combination with a concrete type within the same module
21-
2214
error[E0507]: cannot move out of `*x` which is behind a shared reference
23-
--> $DIR/norm-before-method-resolution-opaque-type.rs:23:13
15+
--> $DIR/norm-before-method-resolution-opaque-type.rs:22:13
2416
|
2517
LL | let x = *x;
2618
| ^^ move occurs because `*x` has type `<X as Trait<'_>>::Out<Foo>`, which does not implement the `Copy` trait
@@ -31,6 +23,6 @@ LL - let x = *x;
3123
LL + let x = x;
3224
|
3325

34-
error: aborting due to 3 previous errors
26+
error: aborting due to 2 previous errors
3527

3628
For more information about this error, try `rustc --explain E0507`.

‎tests/ui/higher-ranked/trait-bounds/normalize-under-binder/norm-before-method-resolution-opaque-type.rs‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,6 @@ impl<'a, T> Trait<'a> for T {
1111
}
1212

1313
type Foo = impl Sized;
14-
//[old]~^ ERROR: unconstrained opaque type
1514

1615
fn weird_bound<X>(x: &<X as Trait<'static>>::Out<Foo>) -> X
1716
//[old]~^ ERROR: item does not constrain

‎tests/ui/impl-trait/issues/issue-86800.rs‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -23,7 +23,6 @@ struct Context {
2323
type TransactionResult<O> = Result<O, ()>;
2424

2525
type TransactionFuture<'__, O> = impl '__ + Future<Output = TransactionResult<O>>;
26-
//~^ ERROR unconstrained opaque type
2726

2827
fn execute_transaction_fut<'f, F, O>(
2928
//~^ ERROR: item does not constrain

‎tests/ui/impl-trait/issues/issue-86800.stderr‎

Lines changed: 6 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
error: item does not constrain `TransactionFuture::{opaque#0}`, but has it in its signature
2-
--> $DIR/issue-86800.rs:28:4
2+
--> $DIR/issue-86800.rs:27:4
33
|
44
LL | fn execute_transaction_fut<'f, F, O>(
55
| ^^^^^^^^^^^^^^^^^^^^^^^
@@ -12,7 +12,7 @@ LL | type TransactionFuture<'__, O> = impl '__ + Future<Output = TransactionResu
1212
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
1313

1414
error: item does not constrain `TransactionFuture::{opaque#0}`, but has it in its signature
15-
--> $DIR/issue-86800.rs:40:14
15+
--> $DIR/issue-86800.rs:39:14
1616
|
1717
LL | async fn do_transaction<O>(
1818
| ^^^^^^^^^^^^^^
@@ -25,7 +25,7 @@ LL | type TransactionFuture<'__, O> = impl '__ + Future<Output = TransactionResu
2525
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
2626

2727
error: item does not constrain `TransactionFuture::{opaque#0}`, but has it in its signature
28-
--> $DIR/issue-86800.rs:44:5
28+
--> $DIR/issue-86800.rs:43:5
2929
|
3030
LL | / {
3131
LL | |
@@ -43,16 +43,8 @@ note: this opaque type is in the signature
4343
LL | type TransactionFuture<'__, O> = impl '__ + Future<Output = TransactionResult<O>>;
4444
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
4545

46-
error: unconstrained opaque type
47-
--> $DIR/issue-86800.rs:25:34
48-
|
49-
LL | type TransactionFuture<'__, O> = impl '__ + Future<Output = TransactionResult<O>>;
50-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
51-
|
52-
= note: `TransactionFuture` must be used in combination with a concrete type within the same module
53-
5446
error[E0792]: expected generic lifetime parameter, found `'_`
55-
--> $DIR/issue-86800.rs:35:5
47+
--> $DIR/issue-86800.rs:34:5
5648
|
5749
LL | type TransactionFuture<'__, O> = impl '__ + Future<Output = TransactionResult<O>>;
5850
| --- this generic parameter must be used with a generic lifetime parameter
@@ -61,7 +53,7 @@ LL | f
6153
| ^
6254

6355
error[E0792]: expected generic lifetime parameter, found `'_`
64-
--> $DIR/issue-86800.rs:44:5
56+
--> $DIR/issue-86800.rs:43:5
6557
|
6658
LL | type TransactionFuture<'__, O> = impl '__ + Future<Output = TransactionResult<O>>;
6759
| --- this generic parameter must be used with a generic lifetime parameter
@@ -75,6 +67,6 @@ LL | | f(&mut transaction).await
7567
LL | | }
7668
| |_____^
7769

78-
error: aborting due to 6 previous errors
70+
error: aborting due to 5 previous errors
7971

8072
For more information about this error, try `rustc --explain E0792`.

‎tests/ui/impl-trait/recursive-type-alias-impl-trait-declaration-too-subtle.rs‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,6 @@
22

33
mod a {
44
type Foo = impl PartialEq<(Foo, i32)>;
5-
//~^ ERROR: unconstrained opaque type
65

76
struct Bar;
87

‎tests/ui/impl-trait/recursive-type-alias-impl-trait-declaration-too-subtle.stderr‎

Lines changed: 6 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
error[E0053]: method `eq` has an incompatible type for trait
2-
--> $DIR/recursive-type-alias-impl-trait-declaration-too-subtle.rs:10:30
2+
--> $DIR/recursive-type-alias-impl-trait-declaration-too-subtle.rs:9:30
33
|
44
LL | type Foo = impl PartialEq<(Foo, i32)>;
55
| -------------------------- the found opaque type
@@ -15,7 +15,7 @@ LL | fn eq(&self, _other: &(a::Bar, i32)) -> bool {
1515
| ~~~~~~~~~~~~~~
1616

1717
error: item does not constrain `a::Foo::{opaque#0}`, but has it in its signature
18-
--> $DIR/recursive-type-alias-impl-trait-declaration-too-subtle.rs:10:12
18+
--> $DIR/recursive-type-alias-impl-trait-declaration-too-subtle.rs:9:12
1919
|
2020
LL | fn eq(&self, _other: &(Foo, i32)) -> bool {
2121
| ^^
@@ -27,16 +27,8 @@ note: this opaque type is in the signature
2727
LL | type Foo = impl PartialEq<(Foo, i32)>;
2828
| ^^^^^^^^^^^^^^^^^^^^^^^^^^
2929

30-
error: unconstrained opaque type
31-
--> $DIR/recursive-type-alias-impl-trait-declaration-too-subtle.rs:4:16
32-
|
33-
LL | type Foo = impl PartialEq<(Foo, i32)>;
34-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^
35-
|
36-
= note: `Foo` must be used in combination with a concrete type within the same module
37-
3830
error[E0053]: method `eq` has an incompatible type for trait
39-
--> $DIR/recursive-type-alias-impl-trait-declaration-too-subtle.rs:25:30
31+
--> $DIR/recursive-type-alias-impl-trait-declaration-too-subtle.rs:24:30
4032
|
4133
LL | type Foo = impl PartialEq<(Foo, i32)>;
4234
| -------------------------- the expected opaque type
@@ -47,7 +39,7 @@ LL | fn eq(&self, _other: &(Bar, i32)) -> bool {
4739
= note: expected signature `fn(&b::Bar, &(b::Foo, _)) -> _`
4840
found signature `fn(&b::Bar, &(b::Bar, _)) -> _`
4941
note: this item must have the opaque type in its signature in order to be able to register hidden types
50-
--> $DIR/recursive-type-alias-impl-trait-declaration-too-subtle.rs:25:12
42+
--> $DIR/recursive-type-alias-impl-trait-declaration-too-subtle.rs:24:12
5143
|
5244
LL | fn eq(&self, _other: &(Bar, i32)) -> bool {
5345
| ^^
@@ -57,13 +49,13 @@ LL | fn eq(&self, _other: &(b::Foo, i32)) -> bool {
5749
| ~~~~~~~~~~~~~~
5850

5951
error: unconstrained opaque type
60-
--> $DIR/recursive-type-alias-impl-trait-declaration-too-subtle.rs:19:16
52+
--> $DIR/recursive-type-alias-impl-trait-declaration-too-subtle.rs:18:16
6153
|
6254
LL | type Foo = impl PartialEq<(Foo, i32)>;
6355
| ^^^^^^^^^^^^^^^^^^^^^^^^^^
6456
|
6557
= note: `Foo` must be used in combination with a concrete type within the same module
6658

67-
error: aborting due to 5 previous errors
59+
error: aborting due to 4 previous errors
6860

6961
For more information about this error, try `rustc --explain E0053`.

‎tests/ui/impl-trait/two_tait_defining_each_other2.current.stderr‎

Lines changed: 1 addition & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -11,14 +11,6 @@ note: this opaque type is in the signature
1111
LL | type A = impl Foo;
1212
| ^^^^^^^^
1313

14-
error: unconstrained opaque type
15-
--> $DIR/two_tait_defining_each_other2.rs:6:10
16-
|
17-
LL | type A = impl Foo;
18-
| ^^^^^^^^
19-
|
20-
= note: `A` must be used in combination with a concrete type within the same module
21-
2214
error: opaque type's hidden type cannot be another opaque type from the same scope
2315
--> $DIR/two_tait_defining_each_other2.rs:14:5
2416
|
@@ -36,5 +28,5 @@ note: opaque type being used as hidden type
3628
LL | type A = impl Foo;
3729
| ^^^^^^^^
3830

39-
error: aborting due to 3 previous errors
31+
error: aborting due to 2 previous errors
4032

‎tests/ui/impl-trait/two_tait_defining_each_other2.rs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
//@[next] compile-flags: -Znext-solver
44
#![feature(type_alias_impl_trait)]
55

6-
type A = impl Foo; //[current]~ ERROR unconstrained opaque type
6+
type A = impl Foo;
77
type B = impl Foo;
88

99
trait Foo {}

0 commit comments

Comments
 (0)