You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I encountered this when doing some work on the compiler. I started using the Binder type in code, then compiled, and correctly received an error that the type isn't in scope. However, the "possible candidate is found in another module" help message suggests a path that is private, rather than the public re-export at ty::Binder. I think the candidate search algorithm ignores the visibility of the type, and stops searching too early.
error[E0412]: cannot find type `Binder` in this scope
--> librustc/traits/util.rs:121:29
|
121 | -> impl Iterator<Item = Binder<ty::Predicate<'tcx>>> + 'gcx
| ^^^^^^ not found in this scope
help: possible candidate is found in another module, you can import it into scope
|
11 | use ty::sty::Binder;
|
The text was updated successfully, but these errors were encountered:
I encountered this when doing some work on the compiler. I started using the
Binder
type in code, then compiled, and correctly received an error that the type isn't in scope. However, the "possible candidate is found in another module" help message suggests a path that is private, rather than the public re-export atty::Binder
. I think the candidate search algorithm ignores the visibility of the type, and stops searching too early.The text was updated successfully, but these errors were encountered: