Allow impl selection and confirmation to define opaque types

Author: oli-obk

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

@@ -2564,7 +2564,7 @@ impl<'tcx> SelectionContext<'_, 'tcx> {
         let InferOk { obligations, .. } = self
             .infcx
             .at(&cause, obligation.param_env)
-            .eq(DefineOpaqueTypes::No, placeholder_obligation_trait_ref, impl_trait_ref)
+            .eq(DefineOpaqueTypes::Yes, placeholder_obligation_trait_ref, impl_trait_ref)
             .map_err(|e| {
                 debug!("match_impl: failed eq_trait_refs due to `{}`", e.to_string(self.tcx()))
             })?;

tests/ui/impl-trait/call_method_on_inherent_impl_on_rigid_type.current.stderr

@@ -1,5 +1,5 @@
 error[E0282]: type annotations needed for `&_`
-  --> $DIR/call_method_on_inherent_impl_on_rigid_type.rs:14:13
+  --> $DIR/call_method_on_inherent_impl_on_rigid_type.rs:15:13
    |
 LL |         let x = &my_foo();
    |             ^

tests/ui/impl-trait/call_method_on_inherent_impl_on_rigid_type.next.stderr

@@ -1,5 +1,6 @@
 //@ revisions: current next
 //@[next] compile-flags: -Znext-solver
+//@[current] check-pass
 
 trait MyDebug {
     fn my_debug(&self);
@@ -14,7 +15,6 @@ fn my_foo() -> impl std::fmt::Debug {
         let x = &my_foo();
         //[next]~^ ERROR: type annotations needed
         x.my_debug();
-        //[current]~^ ERROR: no method named `my_debug`
     }
     ()
 }

tests/ui/impl-trait/call_method_on_inherent_impl_on_rigid_type.rs

@@ -22,7 +22,7 @@ fn sum_to(n: u32) -> impl Foo {
         0
     } else {
         n + sum_to(n - 1)
-        //~^ ERROR cannot add `impl Foo` to `u32`
+        //~^ ERROR cannot satisfy `<u32 as Add<impl Foo>>::Output == i32`
     }
 }
 
@@ -32,12 +32,15 @@ trait Leak: Sized {
 }
 impl<T> Leak for T {
     default type T = ();
-    default fn leak(self) -> Self::T { panic!() }
+    default fn leak(self) -> Self::T {
+        panic!()
+    }
 }
 impl Leak for i32 {
     type T = i32;
-    fn leak(self) -> i32 { self }
+    fn leak(self) -> i32 {
+        self
+    }
 }
 
-fn main() {
-}
+fn main() {}

tests/ui/impl-trait/equality.rs

@@ -22,20 +22,13 @@ help: change the type of the numeric literal from `u32` to `i32`
 LL |     0_i32
    |       ~~~
 
-error[E0277]: cannot add `impl Foo` to `u32`
+error[E0284]: type annotations needed: cannot satisfy `<u32 as Add<impl Foo>>::Output == i32`
   --> $DIR/equality.rs:24:11
    |
 LL |         n + sum_to(n - 1)
-   |           ^ no implementation for `u32 + impl Foo`
-   |
-   = help: the trait `Add<impl Foo>` is not implemented for `u32`
-   = help: the following other types implement trait `Add<Rhs>`:
-             `&'a u32` implements `Add<u32>`
-             `&u32` implements `Add<&u32>`
-             `u32` implements `Add<&u32>`
-             `u32` implements `Add`
+   |           ^ cannot satisfy `<u32 as Add<impl Foo>>::Output == i32`
 
 error: aborting due to 2 previous errors; 1 warning emitted
 
-Some errors have detailed explanations: E0277, E0308.
-For more information about an error, try `rustc --explain E0277`.
+Some errors have detailed explanations: E0284, E0308.
+For more information about an error, try `rustc --explain E0284`.

tests/ui/impl-trait/equality.stderr

@@ -0,0 +1,42 @@
+error[E0282]: type annotations needed
+  --> $DIR/recursive-bound-eval.rs:19:28
+   |
+LL |     move || recursive_fn().parse()
+   |                            ^^^^^ cannot infer type
+
+error[E0599]: no method named `parse` found for opaque type `impl Parser<_>` in the current scope
+  --> $DIR/recursive-bound-eval.rs:19:28
+   |
+LL |     move || recursive_fn().parse()
+   |                            ^^^^^ method not found in `impl Parser<_>`
+   |
+   = help: items from traits can only be used if the trait is implemented and in scope
+help: trait `Parser` which provides `parse` is implemented but not in scope; perhaps you want to import it
+   |
+LL + use Parser;
+   |
+
+error[E0391]: cycle detected when computing type of opaque `recursive_fn::{opaque#0}`
+  --> $DIR/recursive-bound-eval.rs:17:29
+   |
+LL | pub fn recursive_fn<E>() -> impl Parser<E> {
+   |                             ^^^^^^^^^^^^^^
+   |
+note: ...which requires type-checking `recursive_fn`...
+  --> $DIR/recursive-bound-eval.rs:19:13
+   |
+LL |     move || recursive_fn().parse()
+   |             ^^^^^^^^^^^^^^
+   = note: ...which requires evaluating trait selection obligation `recursive_fn::{opaque#0}: core::marker::Unpin`...
+   = note: ...which again requires computing type of opaque `recursive_fn::{opaque#0}`, completing the cycle
+note: cycle used when computing type of `recursive_fn::{opaque#0}`
+  --> $DIR/recursive-bound-eval.rs:17:29
+   |
+LL | pub fn recursive_fn<E>() -> impl Parser<E> {
+   |                             ^^^^^^^^^^^^^^
+   = 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
+
+error: aborting due to 3 previous errors
+
+Some errors have detailed explanations: E0282, E0391, E0599.
+For more information about an error, try `rustc --explain E0282`.

tests/ui/impl-trait/recursive-bound-eval.current.stderr

@@ -1,5 +1,5 @@
 error[E0282]: type annotations needed
-  --> $DIR/recursive-bound-eval.rs:20:13
+  --> $DIR/recursive-bound-eval.rs:19:13
    |
 LL |     move || recursive_fn().parse()
    |             ^^^^^^^^^^^^^^ cannot infer type

tests/ui/impl-trait/recursive-bound-eval.next.stderr

@@ -4,8 +4,6 @@
 //@revisions: next current
 //@[next] compile-flags: -Znext-solver
 
-//@[current] check-pass
-
 pub trait Parser<E> {
     fn parse(&self) -> E;
 }
@@ -17,8 +15,10 @@ impl<E, T: Fn() -> E> Parser<E> for T {
 }
 
 pub fn recursive_fn<E>() -> impl Parser<E> {
+    //[current]~^ ERROR: cycle
     move || recursive_fn().parse()
-    //[next]~^ ERROR: type annotations needed
+    //~^ ERROR: type annotations needed
+    //[current]~| ERROR: no method named `parse`
 }
 
 fn main() {}

tests/ui/impl-trait/recursive-bound-eval.rs

@@ -11,7 +11,7 @@ impl PartialEq<(Bar, i32)> for Bar {
 }
 
 fn foo() -> Foo {
-    //~^ ERROR can't compare `Bar` with `(Foo, i32)`
+    //~^ ERROR overflow evaluating the requirement `Bar: PartialEq<(Foo, i32)>`
     Bar
 }