From 28e67c7ed47e9b3891f5dc72de46edf3a3b94a6e Mon Sep 17 00:00:00 2001 From: John Hodge Date: Thu, 17 Mar 2016 14:10:13 +0800 Subject: Expand - #[lang] extension --- src/types.cpp | 4 ---- 1 file changed, 4 deletions(-) (limited to 'src/types.cpp') diff --git a/src/types.cpp b/src/types.cpp index e5dee127..845af9d2 100644 --- a/src/types.cpp +++ b/src/types.cpp @@ -448,7 +448,6 @@ bool TypeRef::impls_wildcard(const AST::Crate& crate, const AST::Path& trait) co auto fld_ty = fld.m_type; fld_ty.resolve_args( resolve_fn ); DEBUG("- Fld '" << fld.m_name << "' := " << fld.m_type << " => " << fld_ty); - // TODO: Defer failure until after all fields are processed if( !crate.find_impl(trait, fld_ty, nullptr, nullptr) ) return false; } @@ -459,7 +458,6 @@ bool TypeRef::impls_wildcard(const AST::Crate& crate, const AST::Path& trait) co auto fld_ty = fld.m_type; fld_ty.resolve_args( resolve_fn ); DEBUG("- Fld ? := " << fld.m_type << " => " << fld_ty); - // TODO: Defer failure until after all fields are processed if( !crate.find_impl(trait, fld_ty, nullptr, nullptr) ) return false; } @@ -481,7 +479,6 @@ bool TypeRef::impls_wildcard(const AST::Crate& crate, const AST::Path& trait) co TypeRef real_ty = ty; real_ty.resolve_args( resolve_fn ); DEBUG("- Var '" << var.m_name << "' := " << ty << " => " << real_ty); - // TODO: Defer failure until after all fields are processed if( !crate.find_impl(trait, real_ty, nullptr, nullptr) ) return false; } @@ -492,7 +489,6 @@ bool TypeRef::impls_wildcard(const AST::Crate& crate, const AST::Path& trait) co auto fld_ty = fld.m_type; fld_ty.resolve_args( resolve_fn ); DEBUG("- Fld '" << fld.m_name << "' := " << fld.m_type << " => " << fld_ty); - // TODO: Defer failure until after all fields are processed if( !crate.find_impl(trait, fld_ty, nullptr, nullptr) ) return false; } -- cgit v1.2.3