From 828a19bd28eb39da6108545175bbb4427aaf2a4e Mon Sep 17 00:00:00 2001 From: John Hodge Date: Sun, 4 Jun 2017 09:45:02 +0800 Subject: HIR Typecheck - Remove assertion that static impls aren't fuzzy --- src/hir_typeck/static.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/hir_typeck') diff --git a/src/hir_typeck/static.cpp b/src/hir_typeck/static.cpp index b46567fd..ad0fc46b 100644 --- a/src/hir_typeck/static.cpp +++ b/src/hir_typeck/static.cpp @@ -1583,7 +1583,7 @@ bool StaticTraitResolve::can_unsize(const Span& sp, const ::HIR::TypeRef& dst_ty good = false; find_impl(sp, de->m_trait.m_path.m_path, de->m_trait.m_path.m_params, src_ty, [&](const auto impl, auto fuzz) { - assert( !fuzz ); + //ASSERT_BUG(sp, !fuzz, "Fuzzy match in can_unsize - " << dst_ty << " <- " << src_ty << " - " << impl); good = true; for(const auto& aty : de->m_trait.m_type_bounds) { auto atyv = impl.get_type(aty.first.c_str()); -- cgit v1.2.3