diff options
| -rw-r--r-- | src/hir_typeck/helpers.cpp | 17 |
1 files changed, 16 insertions, 1 deletions
diff --git a/src/hir_typeck/helpers.cpp b/src/hir_typeck/helpers.cpp index a6543d77..921b7dfb 100644 --- a/src/hir_typeck/helpers.cpp +++ b/src/hir_typeck/helpers.cpp @@ -2807,10 +2807,25 @@ bool TraitResolution::find_trait_impls_crate(const Span& sp, auto cb_infer = [&](const auto& ty)->const auto& { if( ty.m_data.is_Infer() ) return this->m_ivars.get_type(ty); + #if 0 else if( ty.m_data.is_Generic() && ty.m_data.as_Generic().binding >> 8 == 2 ) { // Generic group 2 = Placeholders unsigned int i = ty.m_data.as_Generic().binding % 256; - TODO(sp, "Obtain placeholder " << i); + ASSERT_BUG(sp, i < impl_params.size(), "Placeholder param out of range - " << i << " >= " << placeholders.size()); + if( impl_params[i] ) + { + DEBUG("[ftic_check_params:cb_infer] " << ty << " = " << *impl_params[i]); + return *impl_params[i]; + } + else + { + ASSERT_BUG(sp, i < placeholders.size(), "Placeholder param out of range - " << i << " >= " << placeholders.size()); + const auto& ph = placeholders[i]; + if( ph.m_data.is_Generic() && ph.m_data.as_Generic().binding == i ) + TODO(sp, "[ftic_check_params:cb_infer] Placeholder " << i << " not yet bound"); + return ph; + } } + #endif else return ty; }; |