diff options
| author | Michael Goulet <michael@errs.io> | 2023-01-18 18:03:06 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2023-01-19 15:45:49 +0000 |
| commit | 200f466d1a3cd1530752842b6895c73fc61b0cb6 (patch) | |
| tree | b93b709f4a422e55a90eb8c02dd00b78b6117290 /compiler/rustc_trait_selection/src/traits | |
| parent | 79335f1ac4f6bc72795d4ac84764aa185648b5f2 (diff) | |
| download | rust-200f466d1a3cd1530752842b6895c73fc61b0cb6.tar.gz rust-200f466d1a3cd1530752842b6895c73fc61b0cb6.zip | |
Encode whether foreign opaques are TAITs or not
Diffstat (limited to 'compiler/rustc_trait_selection/src/traits')
| -rw-r--r-- | compiler/rustc_trait_selection/src/traits/wf.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_trait_selection/src/traits/wf.rs b/compiler/rustc_trait_selection/src/traits/wf.rs index b47a70b4e7b..12d4cb4fc69 100644 --- a/compiler/rustc_trait_selection/src/traits/wf.rs +++ b/compiler/rustc_trait_selection/src/traits/wf.rs @@ -654,7 +654,7 @@ impl<'tcx> WfPredicates<'tcx> { // All of the requirements on type parameters // have already been checked for `impl Trait` in // return position. We do need to check type-alias-impl-trait though. - if ty::is_impl_trait_defn(self.tcx, def_id).is_none() { + if self.tcx.is_type_alias_impl_trait(def_id) { let obligations = self.nominal_obligations(def_id, substs); self.out.extend(obligations); } |