bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Only register hidden types for opaque types from the current crate, nothing else would work anyway.

Browse source
This commit is contained in:
Oli Scherer 2022-07-08 13:59:44 +00:00
parent 0b863e0024
commit d6b93eb793
2 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
compiler/rustc_infer/src/infer/opaque_types.rs
View file

@ -101,7 +101,7 @@ impl<'a, 'tcx> InferCtxt<'a, 'tcx> {
}
let (a, b) = if a_is_expected { (a, b) } else { (b, a) };
let process = |a: Ty<'tcx>, b: Ty<'tcx>| match *a.kind() {
ty::Opaque(def_id, substs) => {
ty::Opaque(def_id, substs) if def_id.is_local() => {
let origin = if self.defining_use_anchor.is_some() {
// Check that this is `impl Trait` type is
// declared by `parent_def_id` -- i.e., one whose