diff options
| -rw-r--r-- | src/hir_typeck/expr_cs.cpp | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/src/hir_typeck/expr_cs.cpp b/src/hir_typeck/expr_cs.cpp index 7b304f9d..c6088cae 100644 --- a/src/hir_typeck/expr_cs.cpp +++ b/src/hir_typeck/expr_cs.cpp @@ -2881,10 +2881,10 @@ namespace { return false; ) else { - // Error - Must be compatible - // - Hand off to equate + // Error: Must be compatible, hand over to the equate code. + // - If this returns early, it's because of a UFCS destructure context.equate_types(sp, ty, ty_r); - BUG(sp, "Type error expected " << ty << " == " << ty_r); + //BUG(sp, "Type error expected " << ty << " == " << ty_r); } ), (Pointer, @@ -2925,9 +2925,10 @@ namespace { return false; ) else { - // Error: Must be compatible + // Error: Must be compatible, hand over to the equate code. + // - If this returns early, it's because of a UFCS destructure context.equate_types(sp, ty, ty_r); - BUG(sp, "Type error expected " << ty << " == " << ty_r); + //BUG(sp, "Type error expected " << ty << " == " << ty_r); } ), (Function, |