Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
coherence: skip impls with an erroneous trait ref
Impls with a erroneous trait ref are already ignored in the first part of coherence, so ignore them in the second part too. This avoids cascading coherence errors when 1 impl of a trait has an error.
- Loading branch information
Showing
2 changed files
with
32 additions
and
1 deletion.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,25 @@ | ||
// Copyright 2016 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 <LICENSE-APACHE or | ||
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license | ||
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your | ||
// option. This file may not be copied, modified, or distributed | ||
// except according to those terms. | ||
|
||
// check that error types in coherence do not cause error cascades. | ||
|
||
trait Foo {} | ||
|
||
impl Foo for i8 {} | ||
impl Foo for i16 {} | ||
impl Foo for i32 {} | ||
impl Foo for i64 {} | ||
impl Foo for DoesNotExist {} //~ ERROR `DoesNotExist` is undefined | ||
impl Foo for u8 {} | ||
impl Foo for u16 {} | ||
impl Foo for u32 {} | ||
impl Foo for u64 {} | ||
|
||
fn main() {} |