Skip to content
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Commit e483f69

Browse files
oli-obkoli-obk
committedFeb 21, 2024
Allow defining opaque types when checking const equality bounds
1 parent 3a3a276 commit e483f69

File tree

4 files changed

+49
-23
lines changed

4 files changed

+49
-23
lines changed
 

‎compiler/rustc_trait_selection/src/traits/fulfill.rs

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -576,7 +576,7 @@ impl<'a, 'tcx> ObligationProcessor for FulfillProcessor<'a, 'tcx> {
576576
if let Ok(new_obligations) = infcx
577577
.at(&obligation.cause, obligation.param_env)
578578
.trace(c1, c2)
579-
.eq(DefineOpaqueTypes::No, a.args, b.args)
579+
.eq(DefineOpaqueTypes::Yes, a.args, b.args)
580580
{
581581
return ProcessResult::Changed(mk_pending(
582582
new_obligations.into_obligations(),
@@ -587,7 +587,7 @@ impl<'a, 'tcx> ObligationProcessor for FulfillProcessor<'a, 'tcx> {
587587
(_, _) => {
588588
if let Ok(new_obligations) = infcx
589589
.at(&obligation.cause, obligation.param_env)
590-
.eq(DefineOpaqueTypes::No, c1, c2)
590+
.eq(DefineOpaqueTypes::Yes, c1, c2)
591591
{
592592
return ProcessResult::Changed(mk_pending(
593593
new_obligations.into_obligations(),
@@ -628,7 +628,7 @@ impl<'a, 'tcx> ObligationProcessor for FulfillProcessor<'a, 'tcx> {
628628
match (evaluate(c1), evaluate(c2)) {
629629
(Ok(c1), Ok(c2)) => {
630630
match self.selcx.infcx.at(&obligation.cause, obligation.param_env).eq(
631-
DefineOpaqueTypes::No,
631+
DefineOpaqueTypes::Yes,
632632
c1,
633633
c2,
634634
) {

‎compiler/rustc_trait_selection/src/traits/select/mod.rs

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -922,7 +922,7 @@ impl<'cx, 'tcx> SelectionContext<'cx, 'tcx> {
922922
.infcx
923923
.at(&obligation.cause, obligation.param_env)
924924
.trace(c1, c2)
925-
.eq(DefineOpaqueTypes::No, a.args, b.args)
925+
.eq(DefineOpaqueTypes::Yes, a.args, b.args)
926926
{
927927
return self.evaluate_predicates_recursively(
928928
previous_stack,
@@ -935,7 +935,7 @@ impl<'cx, 'tcx> SelectionContext<'cx, 'tcx> {
935935
if let Ok(InferOk { obligations, value: () }) = self
936936
.infcx
937937
.at(&obligation.cause, obligation.param_env)
938-
.eq(DefineOpaqueTypes::No, c1, c2)
938+
.eq(DefineOpaqueTypes::Yes, c1, c2)
939939
{
940940
return self.evaluate_predicates_recursively(
941941
previous_stack,
@@ -965,7 +965,7 @@ impl<'cx, 'tcx> SelectionContext<'cx, 'tcx> {
965965
match (evaluate(c1), evaluate(c2)) {
966966
(Ok(c1), Ok(c2)) => {
967967
match self.infcx.at(&obligation.cause, obligation.param_env).eq(
968-
DefineOpaqueTypes::No,
968+
DefineOpaqueTypes::Yes,
969969
c1,
970970
c2,
971971
) {

‎tests/ui/const-generics/generic_const_exprs/opaque_type.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,6 @@ where
99
[u8; (N / 2) as usize]: Sized,
1010
{
1111
let _: [u8; (N / 2) as Foo] = [0; (N / 2) as usize];
12-
//~^ ERROR: mismatched types
1312
todo!()
1413
}
1514

‎tests/ui/const-generics/generic_const_exprs/opaque_type.stderr

Lines changed: 43 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -9,11 +9,48 @@ note: ...which requires computing type of opaque `Foo::{opaque#0}`...
99
|
1010
LL | type Foo = impl Sized;
1111
| ^^^^^^^^^^
12-
note: ...which requires type-checking `with_bound`...
13-
--> $DIR/opaque_type.rs:11:35
12+
note: ...which requires borrow-checking `with_bound`...
13+
--> $DIR/opaque_type.rs:7:1
1414
|
15-
LL | let _: [u8; (N / 2) as Foo] = [0; (N / 2) as usize];
16-
| ^^^^^^^^^^^^^^^^^^^^^
15+
LL | / fn with_bound<const N: usize>() -> Foo
16+
LL | | where
17+
LL | | [u8; (N / 2) as usize]: Sized,
18+
| |__________________________________^
19+
note: ...which requires promoting constants in MIR for `with_bound`...
20+
--> $DIR/opaque_type.rs:7:1
21+
|
22+
LL | / fn with_bound<const N: usize>() -> Foo
23+
LL | | where
24+
LL | | [u8; (N / 2) as usize]: Sized,
25+
| |__________________________________^
26+
note: ...which requires preparing `with_bound` for borrow checking...
27+
--> $DIR/opaque_type.rs:7:1
28+
|
29+
LL | / fn with_bound<const N: usize>() -> Foo
30+
LL | | where
31+
LL | | [u8; (N / 2) as usize]: Sized,
32+
| |__________________________________^
33+
note: ...which requires checking if `with_bound` contains FFI-unwind calls...
34+
--> $DIR/opaque_type.rs:7:1
35+
|
36+
LL | / fn with_bound<const N: usize>() -> Foo
37+
LL | | where
38+
LL | | [u8; (N / 2) as usize]: Sized,
39+
| |__________________________________^
40+
note: ...which requires building MIR for `with_bound`...
41+
--> $DIR/opaque_type.rs:7:1
42+
|
43+
LL | / fn with_bound<const N: usize>() -> Foo
44+
LL | | where
45+
LL | | [u8; (N / 2) as usize]: Sized,
46+
| |__________________________________^
47+
note: ...which requires match-checking `with_bound`...
48+
--> $DIR/opaque_type.rs:7:1
49+
|
50+
LL | / fn with_bound<const N: usize>() -> Foo
51+
LL | | where
52+
LL | | [u8; (N / 2) as usize]: Sized,
53+
| |__________________________________^
1754
note: ...which requires evaluating type-level constant...
1855
--> $DIR/opaque_type.rs:11:17
1956
|
@@ -43,16 +80,6 @@ LL | type Foo = impl Sized;
4380
| ^^^^^^^^^^
4481
= note: see https://rustc-dev-guide.rust-lang.org/overview.html#queries and https://rustc-dev-guide.rust-lang.org/query.html for more information
4582

46-
error[E0308]: mismatched types
47-
--> $DIR/opaque_type.rs:11:35
48-
|
49-
LL | let _: [u8; (N / 2) as Foo] = [0; (N / 2) as usize];
50-
| ^^^^^^^^^^^^^^^^^^^^^ expected `(N / 2) as Foo`, found `(N / 2) as usize`
51-
|
52-
= note: expected constant `(N / 2) as Foo`
53-
found constant `(N / 2) as usize`
54-
55-
error: aborting due to 2 previous errors
83+
error: aborting due to 1 previous error
5684

57-
Some errors have detailed explanations: E0308, E0391.
58-
For more information about an error, try `rustc --explain E0308`.
85+
For more information about this error, try `rustc --explain E0391`.

0 commit comments

Comments
 (0)
Please sign in to comment.