summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn Hodge <tpg@mutabah.net>2016-07-17 14:43:50 +0800
committerJohn Hodge <tpg@mutabah.net>2016-07-17 14:43:50 +0800
commit85ea9852a5b04cfd9f121be5afe887b9e1de9ba7 (patch)
tree9b86c11a1eb46e065f07a9493608c0fed191229d
parentba403ec3e36af2655849b8599eaa76d4205a5a7c (diff)
downloadmrust-85ea9852a5b04cfd9f121be5afe887b9e1de9ba7.tar.gz
HIR Typecheck - Expand ATs after monomorph in bound
-rw-r--r--src/hir_typeck/helpers.cpp1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/hir_typeck/helpers.cpp b/src/hir_typeck/helpers.cpp
index 8f9f5f85..29f4b1bb 100644
--- a/src/hir_typeck/helpers.cpp
+++ b/src/hir_typeck/helpers.cpp
@@ -1825,6 +1825,7 @@ bool TraitResolution::find_trait_impls_crate(const Span& sp,
DEBUG("Check bound " << be.type << " : " << be.trait);
auto real_type = monomorphise_type_with(sp, be.type, monomorph, false);
auto real_trait = monomorphise_traitpath_with(sp, be.trait, monomorph, false);
+ real_type = this->expand_associated_types(sp, mv$(real_type));
for(auto& p : real_trait.m_path.m_params.m_types) {
p = this->expand_associated_types(sp, mv$(p));
}