diff options
| author | Oliver Schneider <github35764891676564198441@oli-obk.de> | 2018-07-16 11:20:35 +0200 |
|---|---|---|
| committer | Oliver Schneider <github35764891676564198441@oli-obk.de> | 2018-07-18 10:53:09 +0200 |
| commit | 6e09d912e5ce666ccf5af3479af1f0bbfadbd986 (patch) | |
| tree | 2cee9dadfd6688d83da4d1f5440794a6989b1e84 | |
| parent | 160cbdaeeaa1e401328bdc206ff451d168ea4f1d (diff) | |
| download | rust-6e09d912e5ce666ccf5af3479af1f0bbfadbd986.tar.gz rust-6e09d912e5ce666ccf5af3479af1f0bbfadbd986.zip | |
default impls for methods can contain existential types inside
| -rw-r--r-- | src/librustc_typeck/collect.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/librustc_typeck/collect.rs b/src/librustc_typeck/collect.rs index e9510d118f7..72a4b0df6f8 100644 --- a/src/librustc_typeck/collect.rs +++ b/src/librustc_typeck/collect.rs @@ -1250,6 +1250,7 @@ fn find_existential_constraints<'a, 'tcx>( match tcx.hir.get(parent) { NodeItem(ref it) => intravisit::walk_item(&mut locator, it), NodeImplItem(ref it) => intravisit::walk_impl_item(&mut locator, it), + NodeTraitItem(ref it) => intravisit::walk_trait_item(&mut locator, it), other => bug!("{:?} is not a valid parent of an existential type item", other), } } |