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

Commit 035f40f

Browse files
committed
Auto merge of rust-lang#123962 - oli-obk:define_opaque_types5, r=<try>
change method resolution to constrain hidden types instead of rejecting method candidates Some of these are in probes and may affect inference. This is therefore a breaking change. This allows new code to compile on stable: ```rust trait Trait {} impl Trait for u32 {} struct Bar<T>(T); impl Bar<u32> { fn foo(self) {} } fn foo(x: bool) -> Bar<impl Sized> { if x { let x = foo(false); x.foo(); //^ this used to not find the `foo` method, because while we did equate `x`'s type with possible candidates, we didn't allow opaque type inference while doing so } todo!() } ``` But it is also a breaking change, since `&self` and `&mut self` method calls on recursive RPIT function calls now constrain the hidden type to `&_` and `&mut _` respectively. This is not what users really expect or want from this, but there's way around this. r? `@compiler-errors` fixes rust-lang#121404 cc rust-lang#116652
2 parents 4e1f5d9 + dc55e27 commit 035f40f

30 files changed

+521
-57
lines changed

compiler/rustc_data_structures/src/obligation_forest/mod.rs

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -359,7 +359,10 @@ impl<O: ForestObligation> ObligationForest<O> {
359359
Entry::Vacant(v) => {
360360
let obligation_tree_id = match parent {
361361
Some(parent_index) => self.nodes[parent_index].obligation_tree_id,
362-
None => self.obligation_tree_id_generator.next().unwrap(),
362+
// FIXME(type_alias_impl_trait): with `#[defines]` attributes required to define hidden
363+
// types we can convert this back to a `next` method call, as this function shouldn't be
364+
// defining a hidden type anyway.
365+
None => Iterator::next(&mut self.obligation_tree_id_generator).unwrap(),
363366
};
364367

365368
let already_failed = parent.is_some()

compiler/rustc_hir_typeck/src/callee.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -627,7 +627,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
627627
return;
628628
};
629629

630-
let pick = self.confirm_method(
630+
let pick = self.confirm_method_for_diagnostic(
631631
call_expr.span,
632632
callee_expr,
633633
call_expr,

compiler/rustc_hir_typeck/src/fn_ctxt/_impl.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1422,7 +1422,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
14221422
let impl_ty = self.normalize(span, tcx.type_of(impl_def_id).instantiate(tcx, args));
14231423
let self_ty = self.normalize(span, self_ty);
14241424
match self.at(&self.misc(span), self.param_env).eq(
1425-
DefineOpaqueTypes::No,
1425+
DefineOpaqueTypes::Yes,
14261426
impl_ty,
14271427
self_ty,
14281428
) {

compiler/rustc_hir_typeck/src/method/confirm.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -499,7 +499,7 @@ impl<'a, 'tcx> ConfirmContext<'a, 'tcx> {
499499
args,
500500
})),
501501
);
502-
match self.at(&cause, self.param_env).sup(DefineOpaqueTypes::No, method_self_ty, self_ty) {
502+
match self.at(&cause, self.param_env).sup(DefineOpaqueTypes::Yes, method_self_ty, self_ty) {
503503
Ok(InferOk { obligations, value: () }) => {
504504
self.register_predicates(obligations);
505505
}

compiler/rustc_hir_typeck/src/method/probe.rs

Lines changed: 23 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -1473,6 +1473,7 @@ impl<'a, 'tcx> ProbeContext<'a, 'tcx> {
14731473
}
14741474
}
14751475

1476+
#[instrument(level = "trace", skip(self, possibly_unsatisfied_predicates), ret)]
14761477
fn consider_probe(
14771478
&self,
14781479
self_ty: Ty<'tcx>,
@@ -1483,20 +1484,31 @@ impl<'a, 'tcx> ProbeContext<'a, 'tcx> {
14831484
Option<ObligationCause<'tcx>>,
14841485
)>,
14851486
) -> ProbeResult {
1486-
debug!("consider_probe: self_ty={:?} probe={:?}", self_ty, probe);
1487-
14881487
self.probe(|_| {
14891488
// First check that the self type can be related.
1490-
let sub_obligations = match self.at(&ObligationCause::dummy(), self.param_env).sup(
1491-
DefineOpaqueTypes::No,
1492-
probe.xform_self_ty,
1493-
self_ty,
1494-
) {
1495-
Ok(InferOk { obligations, value: () }) => obligations,
1496-
Err(err) => {
1497-
debug!("--> cannot relate self-types {:?}", err);
1498-
return ProbeResult::NoMatch;
1489+
let sub_obligations = match self_ty.kind() {
1490+
// HACK: opaque types will match anything for which their bounds hold.
1491+
// Thus we need to prevent them from trying to match the `&_` autoref
1492+
// candidates that get created for `&self` trait methods.
1493+
ty::Alias(ty::Opaque, alias_ty)
1494+
if self.infcx.can_define_opaque_ty(alias_ty.def_id) =>
1495+
{
1496+
if !probe.xform_self_ty.is_ty_var() {
1497+
return ProbeResult::NoMatch;
1498+
}
1499+
vec![]
14991500
}
1501+
_ => match self.at(&ObligationCause::dummy(), self.param_env).sup(
1502+
DefineOpaqueTypes::Yes,
1503+
probe.xform_self_ty,
1504+
self_ty,
1505+
) {
1506+
Ok(InferOk { obligations, value: () }) => obligations,
1507+
Err(err) => {
1508+
debug!("--> cannot relate self-types {:?}", err);
1509+
return ProbeResult::NoMatch;
1510+
}
1511+
},
15001512
};
15011513

15021514
let mut result = ProbeResult::Match;

compiler/rustc_middle/src/traits/query.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -162,7 +162,7 @@ pub struct CandidateStep<'tcx> {
162162

163163
#[derive(Copy, Clone, Debug, HashStable)]
164164
pub struct MethodAutoderefStepsResult<'tcx> {
165-
/// The valid autoderef steps that could be find.
165+
/// The valid autoderef steps that could be found.
166166
pub steps: &'tcx [CandidateStep<'tcx>],
167167
/// If Some(T), a type autoderef reported an error on.
168168
pub opt_bad_ty: Option<&'tcx MethodAutoderefBadTy<'tcx>>,

tests/ui/impl-trait/issues/issue-70877.rs

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -27,7 +27,9 @@ fn ham() -> Foo {
2727

2828
fn oof(_: Foo) -> impl std::fmt::Debug {
2929
let mut bar = ham();
30-
let func = bar.next().unwrap();
30+
// Need to UFC invoke `Iterator::next`,
31+
// as otherwise the hidden type gets constrained to `&mut _`
32+
let func = Iterator::next(&mut bar).unwrap();
3133
return func(&"oof"); //~ ERROR opaque type's hidden type cannot be another opaque type
3234
}
3335

tests/ui/impl-trait/issues/issue-70877.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
error: opaque type's hidden type cannot be another opaque type from the same scope
2-
--> $DIR/issue-70877.rs:31:12
2+
--> $DIR/issue-70877.rs:33:12
33
|
44
LL | return func(&"oof");
55
| ^^^^^^^^^^^^ one of the two opaque types used here has to be outside its defining scope
Lines changed: 26 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,26 @@
1+
//! Since there is only one possible `bar` method, we invoke it and subsequently
2+
//! constrain `foo`'s RPIT to `u32`.
3+
4+
//@ revisions: current next
5+
//@[next] compile-flags: -Znext-solver
6+
//@ check-pass
7+
8+
trait Trait {}
9+
10+
impl Trait for u32 {}
11+
12+
struct Bar<T>(T);
13+
14+
impl Bar<u32> {
15+
fn bar(self) {}
16+
}
17+
18+
fn foo(x: bool) -> Bar<impl Sized> {
19+
if x {
20+
let x = foo(false);
21+
x.bar();
22+
}
23+
todo!()
24+
}
25+
26+
fn main() {}
Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
error[E0034]: multiple applicable items in scope
2+
--> $DIR/method-resolution2.rs:25:11
3+
|
4+
LL | x.bar();
5+
| ^^^ multiple `bar` found
6+
|
7+
note: candidate #1 is defined in an impl for the type `Bar<T>`
8+
--> $DIR/method-resolution2.rs:19:5
9+
|
10+
LL | fn bar(self) {}
11+
| ^^^^^^^^^^^^
12+
note: candidate #2 is defined in an impl for the type `Bar<u32>`
13+
--> $DIR/method-resolution2.rs:15:5
14+
|
15+
LL | fn bar(self) {}
16+
| ^^^^^^^^^^^^
17+
18+
error: aborting due to 1 previous error
19+
20+
For more information about this error, try `rustc --explain E0034`.

0 commit comments

Comments
 (0)