diff options
author | John Hodge <tpg@mutabah.net> | 2016-07-17 14:43:50 +0800 |
---|---|---|
committer | John Hodge <tpg@mutabah.net> | 2016-07-17 14:43:50 +0800 |
commit | 85ea9852a5b04cfd9f121be5afe887b9e1de9ba7 (patch) | |
tree | 9b86c11a1eb46e065f07a9493608c0fed191229d | |
parent | ba403ec3e36af2655849b8599eaa76d4205a5a7c (diff) | |
download | mrust-85ea9852a5b04cfd9f121be5afe887b9e1de9ba7.tar.gz |
HIR Typecheck - Expand ATs after monomorph in bound
-rw-r--r-- | src/hir_typeck/helpers.cpp | 1 |
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)); } |