From 77adec9c9bba99ca77b360d944589b9f7b91625c Mon Sep 17 00:00:00 2001 From: David Halperin Date: Fri, 2 Aug 2013 07:11:53 -0400 Subject: [PATCH] Add trait name to conflicting implementation error message --- src/librustc/middle/typeck/coherence.rs | 9 ++++--- .../conflicting-implementations.rs | 24 +++++++++++++++++++ 2 files changed, 30 insertions(+), 3 deletions(-) create mode 100644 src/test/compile-fail/conflicting-implementations.rs diff --git a/src/librustc/middle/typeck/coherence.rs b/src/librustc/middle/typeck/coherence.rs index f79d7dd3587..dc74d61f244 100644 --- a/src/librustc/middle/typeck/coherence.rs +++ b/src/librustc/middle/typeck/coherence.rs @@ -1,4 +1,4 @@ -// Copyright 2012 The Rust Project Developers. See the COPYRIGHT +// Copyright 2012-2013 The Rust Project Developers. See the COPYRIGHT // file at the top-level directory of this distribution and at // http://rust-lang.org/COPYRIGHT. // @@ -395,8 +395,11 @@ impl CoherenceChecker { if self.polytypes_unify(polytype_a, polytype_b) { let session = self.crate_context.tcx.sess; - session.span_err(self.span_of_impl(implementation_b), - "conflicting implementations for a trait"); + session.span_err( + self.span_of_impl(implementation_b), + fmt!("conflicting implementations for trait %s", + ty::item_path_str(self.crate_context.tcx, + trait_def_id))); session.span_note(self.span_of_impl(implementation_a), "note conflicting implementation here"); } diff --git a/src/test/compile-fail/conflicting-implementations.rs b/src/test/compile-fail/conflicting-implementations.rs new file mode 100644 index 00000000000..a56b69c07de --- /dev/null +++ b/src/test/compile-fail/conflicting-implementations.rs @@ -0,0 +1,24 @@ +// Copyright 2013 The Rust Project Developers. See the COPYRIGHT +// file at the top-level directory of this distribution and at +// http://rust-lang.org/COPYRIGHT. +// +// Licensed under the Apache License, Version 2.0 or the MIT license +// , at your +// option. This file may not be copied, modified, or distributed +// except according to those terms. + +// error-pattern: conflicting implementations for trait Foo +trait Foo { +} + +impl Foo for int { + +} + +impl Foo for A { + +} + +fn main() { +}