Auto merge of #46838 - pnkfelix:issue-46112-followup, r=estebank
Followup for #46112. Sorting by crate-num should ensure that we favor `std::foo::bar` over `any_other_crate::foo::bar`. Interestingly, *this* change had a much larger impact on our internal test suite than PR #46708 (which was my original fix to #46112).
This commit is contained in:
commit
5165ee9e20
8 changed files with 46 additions and 15 deletions
|
|
@ -305,7 +305,18 @@ pub fn provide<'tcx>(providers: &mut Providers<'tcx>) {
|
||||||
// whatever crate we happened to encounter first in this
|
// whatever crate we happened to encounter first in this
|
||||||
// traversal, but not globally minimal across all crates.
|
// traversal, but not globally minimal across all crates.
|
||||||
let bfs_queue = &mut VecDeque::new();
|
let bfs_queue = &mut VecDeque::new();
|
||||||
for &cnum in tcx.crates().iter() {
|
|
||||||
|
// Preferring shortest paths alone does not guarantee a
|
||||||
|
// deterministic result; so sort by crate num to avoid
|
||||||
|
// hashtable iteration non-determinism. This only makes
|
||||||
|
// things as deterministic as crate-nums assignment is,
|
||||||
|
// which is to say, its not deterministic in general. But
|
||||||
|
// we believe that libstd is consistently assigned crate
|
||||||
|
// num 1, so it should be enough to resolve #46112.
|
||||||
|
let mut crates: Vec<CrateNum> = (*tcx.crates()).clone();
|
||||||
|
crates.sort();
|
||||||
|
|
||||||
|
for &cnum in crates.iter() {
|
||||||
// Ignore crates without a corresponding local `extern crate` item.
|
// Ignore crates without a corresponding local `extern crate` item.
|
||||||
if tcx.missing_extern_crate_item(cnum) {
|
if tcx.missing_extern_crate_item(cnum) {
|
||||||
continue
|
continue
|
||||||
|
|
|
||||||
14
src/test/compile-fail/auxiliary/issue_1920.rs
Normal file
14
src/test/compile-fail/auxiliary/issue_1920.rs
Normal file
|
|
@ -0,0 +1,14 @@
|
||||||
|
// Copyright 2017 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.
|
||||||
|
|
||||||
|
// Just exporting some type to test for correct diagnostics when this
|
||||||
|
// crate is pulled in at a non-root location in client crate.
|
||||||
|
|
||||||
|
pub struct S;
|
||||||
|
|
@ -19,7 +19,7 @@ struct G<T: ?Sized> {
|
||||||
}
|
}
|
||||||
|
|
||||||
impl<T> Drop for G<T> {
|
impl<T> Drop for G<T> {
|
||||||
//~^ ERROR: The requirement `T: core::marker::Sized` is added only by the Drop impl. [E0367]
|
//~^ ERROR: The requirement `T: std::marker::Sized` is added only by the Drop impl. [E0367]
|
||||||
fn drop(&mut self) {
|
fn drop(&mut self) {
|
||||||
if !self._ptr.is_null() {
|
if !self._ptr.is_null() {
|
||||||
}
|
}
|
||||||
|
|
|
||||||
|
|
@ -10,13 +10,15 @@
|
||||||
|
|
||||||
//! Test that absolute path names are correct when a crate is not linked into the root namespace
|
//! Test that absolute path names are correct when a crate is not linked into the root namespace
|
||||||
|
|
||||||
|
// aux-build:issue_1920.rs
|
||||||
|
|
||||||
mod foo {
|
mod foo {
|
||||||
pub extern crate core;
|
pub extern crate issue_1920;
|
||||||
}
|
}
|
||||||
|
|
||||||
fn assert_clone<T>() where T : Clone { }
|
fn assert_clone<T>() where T : Clone { }
|
||||||
|
|
||||||
fn main() {
|
fn main() {
|
||||||
assert_clone::<foo::core::sync::atomic::AtomicBool>();
|
assert_clone::<foo::issue_1920::S>();
|
||||||
//~^ ERROR `foo::core::sync::atomic::AtomicBool: foo::core::clone::Clone` is not satisfied
|
//~^ ERROR `foo::issue_1920::S: std::clone::Clone` is not satisfied
|
||||||
}
|
}
|
||||||
|
|
|
||||||
|
|
@ -10,11 +10,13 @@
|
||||||
|
|
||||||
//! Test that when a crate is linked under another name that name is used in global paths
|
//! Test that when a crate is linked under another name that name is used in global paths
|
||||||
|
|
||||||
extern crate core as bar;
|
// aux-build:issue_1920.rs
|
||||||
|
|
||||||
|
extern crate issue_1920 as bar;
|
||||||
|
|
||||||
fn assert_clone<T>() where T : Clone { }
|
fn assert_clone<T>() where T : Clone { }
|
||||||
|
|
||||||
fn main() {
|
fn main() {
|
||||||
assert_clone::<bar::sync::atomic::AtomicBool>();
|
assert_clone::<bar::S>();
|
||||||
//~^ ERROR `bar::sync::atomic::AtomicBool: bar::clone::Clone` is not satisfied
|
//~^ ERROR `bar::S: std::clone::Clone` is not satisfied
|
||||||
}
|
}
|
||||||
|
|
|
||||||
|
|
@ -10,15 +10,17 @@
|
||||||
|
|
||||||
//! Test that when a crate is linked multiple times that the shortest absolute path name is used
|
//! Test that when a crate is linked multiple times that the shortest absolute path name is used
|
||||||
|
|
||||||
|
// aux-build:issue_1920.rs
|
||||||
|
|
||||||
mod foo {
|
mod foo {
|
||||||
pub extern crate core;
|
pub extern crate issue_1920;
|
||||||
}
|
}
|
||||||
|
|
||||||
extern crate core;
|
extern crate issue_1920;
|
||||||
|
|
||||||
fn assert_clone<T>() where T : Clone { }
|
fn assert_clone<T>() where T : Clone { }
|
||||||
|
|
||||||
fn main() {
|
fn main() {
|
||||||
assert_clone::<foo::core::sync::atomic::AtomicBool>();
|
assert_clone::<foo::issue_1920::S>();
|
||||||
//~^ ERROR `core::sync::atomic::AtomicBool: core::clone::Clone` is not satisfied
|
//~^ ERROR `issue_1920::S: std::clone::Clone` is not satisfied
|
||||||
}
|
}
|
||||||
|
|
|
||||||
|
|
@ -14,7 +14,7 @@ fn assert_send<T:Send>() { }
|
||||||
|
|
||||||
fn test71<'a>() {
|
fn test71<'a>() {
|
||||||
assert_send::<*mut &'a isize>();
|
assert_send::<*mut &'a isize>();
|
||||||
//~^ ERROR `*mut &'a isize: core::marker::Send` is not satisfied
|
//~^ ERROR `*mut &'a isize: std::marker::Send` is not satisfied
|
||||||
}
|
}
|
||||||
|
|
||||||
fn main() {
|
fn main() {
|
||||||
|
|
|
||||||
|
|
@ -69,11 +69,11 @@ print-type-size type: `MyOption<bool>`: 1 bytes, alignment: 1 bytes
|
||||||
print-type-size variant `None`: 0 bytes
|
print-type-size variant `None`: 0 bytes
|
||||||
print-type-size variant `Some`: 1 bytes
|
print-type-size variant `Some`: 1 bytes
|
||||||
print-type-size field `.0`: 1 bytes
|
print-type-size field `.0`: 1 bytes
|
||||||
print-type-size type: `MyOption<core::cmp::Ordering>`: 1 bytes, alignment: 1 bytes
|
print-type-size type: `MyOption<std::cmp::Ordering>`: 1 bytes, alignment: 1 bytes
|
||||||
print-type-size variant `None`: 0 bytes
|
print-type-size variant `None`: 0 bytes
|
||||||
print-type-size variant `Some`: 1 bytes
|
print-type-size variant `Some`: 1 bytes
|
||||||
print-type-size field `.0`: 1 bytes
|
print-type-size field `.0`: 1 bytes
|
||||||
print-type-size type: `core::cmp::Ordering`: 1 bytes, alignment: 1 bytes
|
print-type-size type: `std::cmp::Ordering`: 1 bytes, alignment: 1 bytes
|
||||||
print-type-size discriminant: 1 bytes
|
print-type-size discriminant: 1 bytes
|
||||||
print-type-size variant `Less`: 0 bytes
|
print-type-size variant `Less`: 0 bytes
|
||||||
print-type-size variant `Equal`: 0 bytes
|
print-type-size variant `Equal`: 0 bytes
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue