diff options
| author | John Hodge <tpg@mutabah.net> | 2017-02-12 16:01:30 +0800 |
|---|---|---|
| committer | John Hodge <tpg@mutabah.net> | 2017-05-05 14:44:18 +0800 |
| commit | 91e474dcd8df8bf762733d9cc484cf05cc8ef9ea (patch) | |
| tree | c8a39aedd2a7ef8dd57d72d27f1f62afc6b91400 /src | |
| parent | 932d569f69d8c67265f29fe1df334cc33e4f8dc5 (diff) | |
| download | mrust-91e474dcd8df8bf762733d9cc484cf05cc8ef9ea.tar.gz | |
HIR Typecheck Expr - Fuzzy match ivars in OIBIT checking
Diffstat (limited to 'src')
| -rw-r--r-- | src/hir_typeck/helpers.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/hir_typeck/helpers.cpp b/src/hir_typeck/helpers.cpp index 33d26184..f1183157 100644 --- a/src/hir_typeck/helpers.cpp +++ b/src/hir_typeck/helpers.cpp @@ -2311,7 +2311,7 @@ bool TraitResolution::find_trait_impls_crate(const Span& sp, // NOTE: Expected behavior is for Ivars to return false // TODO: Should they return Compare::Fuzzy instead? if( type.m_data.is_Infer() ) { - return false; + return callback( ImplRef(&type, params_ptr, &null_assoc), ::HIR::Compare::Fuzzy ); } const ::HIR::TraitMarkings* markings = nullptr; |