summaryrefslogtreecommitdiffstats
path: root/src/test/ui/namespace
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:19:13 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:19:13 +0000
commit218caa410aa38c29984be31a5229b9fa717560ee (patch)
treec54bd55eeb6e4c508940a30e94c0032fbd45d677 /src/test/ui/namespace
parentReleasing progress-linux version 1.67.1+dfsg1-1~progress7.99u1. (diff)
downloadrustc-218caa410aa38c29984be31a5229b9fa717560ee.tar.xz
rustc-218caa410aa38c29984be31a5229b9fa717560ee.zip
Merging upstream version 1.68.2+dfsg1.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'src/test/ui/namespace')
-rw-r--r--src/test/ui/namespace/auxiliary/namespace-mix.rs66
-rw-r--r--src/test/ui/namespace/auxiliary/namespaced_enums.rs10
-rw-r--r--src/test/ui/namespace/namespace-mix.rs155
-rw-r--r--src/test/ui/namespace/namespace-mix.stderr728
-rw-r--r--src/test/ui/namespace/namespaced-enum-glob-import-no-impls-xcrate.rs15
-rw-r--r--src/test/ui/namespace/namespaced-enum-glob-import-no-impls-xcrate.stderr27
-rw-r--r--src/test/ui/namespace/namespaced-enum-glob-import-no-impls.rs25
-rw-r--r--src/test/ui/namespace/namespaced-enum-glob-import-no-impls.stderr27
8 files changed, 0 insertions, 1053 deletions
diff --git a/src/test/ui/namespace/auxiliary/namespace-mix.rs b/src/test/ui/namespace/auxiliary/namespace-mix.rs
deleted file mode 100644
index fb39d29f8..000000000
--- a/src/test/ui/namespace/auxiliary/namespace-mix.rs
+++ /dev/null
@@ -1,66 +0,0 @@
-pub mod c {
- pub struct S {}
- pub struct TS();
- pub struct US;
- pub enum E {
- V {},
- TV(),
- UV,
- }
-
- pub struct Item;
-}
-
-pub mod xm1 {
- pub use ::c::*;
- pub type S = ::c::Item;
-}
-pub mod xm2 {
- pub use ::c::*;
- pub const S: ::c::Item = ::c::Item;
-}
-
-pub mod xm3 {
- pub use ::c::*;
- pub type TS = ::c::Item;
-}
-pub mod xm4 {
- pub use ::c::*;
- pub const TS: ::c::Item = ::c::Item;
-}
-
-pub mod xm5 {
- pub use ::c::*;
- pub type US = ::c::Item;
-}
-pub mod xm6 {
- pub use ::c::*;
- pub const US: ::c::Item = ::c::Item;
-}
-
-pub mod xm7 {
- pub use ::c::E::*;
- pub type V = ::c::Item;
-}
-pub mod xm8 {
- pub use ::c::E::*;
- pub const V: ::c::Item = ::c::Item;
-}
-
-pub mod xm9 {
- pub use ::c::E::*;
- pub type TV = ::c::Item;
-}
-pub mod xmA {
- pub use ::c::E::*;
- pub const TV: ::c::Item = ::c::Item;
-}
-
-pub mod xmB {
- pub use ::c::E::*;
- pub type UV = ::c::Item;
-}
-pub mod xmC {
- pub use ::c::E::*;
- pub const UV: ::c::Item = ::c::Item;
-}
diff --git a/src/test/ui/namespace/auxiliary/namespaced_enums.rs b/src/test/ui/namespace/auxiliary/namespaced_enums.rs
deleted file mode 100644
index d3548c76c..000000000
--- a/src/test/ui/namespace/auxiliary/namespaced_enums.rs
+++ /dev/null
@@ -1,10 +0,0 @@
-pub enum Foo {
- A,
- B(isize),
- C { a: isize },
-}
-
-impl Foo {
- pub fn foo() {}
- pub fn bar(&self) {}
-}
diff --git a/src/test/ui/namespace/namespace-mix.rs b/src/test/ui/namespace/namespace-mix.rs
deleted file mode 100644
index c5b30f148..000000000
--- a/src/test/ui/namespace/namespace-mix.rs
+++ /dev/null
@@ -1,155 +0,0 @@
-// aux-build:namespace-mix.rs
-
-extern crate namespace_mix;
-use namespace_mix::*;
-
-mod c {
- pub struct S {}
- pub struct TS();
- pub struct US;
- pub enum E {
- V {},
- TV(),
- UV,
- }
-
- pub struct Item;
-}
-
-// Use something emitting the type argument name, e.g., unsatisfied bound.
-trait Impossible {}
-fn check<T: Impossible>(_: T) {}
-
-mod m1 {
- pub use ::c::*;
- pub type S = ::c::Item;
-}
-mod m2 {
- pub use ::c::*;
- pub const S: ::c::Item = ::c::Item;
-}
-
-fn f12() {
- check(m1::S{}); //~ ERROR c::Item
- check(m1::S); //~ ERROR expected value, found type alias `m1::S`
- check(m2::S{}); //~ ERROR c::S
- check(m2::S); //~ ERROR c::Item
-}
-fn xf12() {
- check(xm1::S{}); //~ ERROR c::Item
- check(xm1::S); //~ ERROR expected value, found type alias `xm1::S`
- check(xm2::S{}); //~ ERROR c::S
- check(xm2::S); //~ ERROR c::Item
-}
-
-mod m3 {
- pub use ::c::*;
- pub type TS = ::c::Item;
-}
-mod m4 {
- pub use ::c::*;
- pub const TS: ::c::Item = ::c::Item;
-}
-
-fn f34() {
- check(m3::TS{}); //~ ERROR c::Item
- check(m3::TS); //~ ERROR c::TS
- check(m4::TS{}); //~ ERROR c::TS
- check(m4::TS); //~ ERROR c::Item
-}
-fn xf34() {
- check(xm3::TS{}); //~ ERROR c::Item
- check(xm3::TS); //~ ERROR c::TS
- check(xm4::TS{}); //~ ERROR c::TS
- check(xm4::TS); //~ ERROR c::Item
-}
-
-mod m5 {
- pub use ::c::*;
- pub type US = ::c::Item;
-}
-mod m6 {
- pub use ::c::*;
- pub const US: ::c::Item = ::c::Item;
-}
-
-fn f56() {
- check(m5::US{}); //~ ERROR c::Item
- check(m5::US); //~ ERROR c::US
- check(m6::US{}); //~ ERROR c::US
- check(m6::US); //~ ERROR c::Item
-}
-fn xf56() {
- check(xm5::US{}); //~ ERROR c::Item
- check(xm5::US); //~ ERROR c::US
- check(xm6::US{}); //~ ERROR c::US
- check(xm6::US); //~ ERROR c::Item
-}
-
-mod m7 {
- pub use ::c::E::*;
- pub type V = ::c::Item;
-}
-mod m8 {
- pub use ::c::E::*;
- pub const V: ::c::Item = ::c::Item;
-}
-
-fn f78() {
- check(m7::V{}); //~ ERROR c::Item
- check(m7::V); //~ ERROR expected value, found type alias `m7::V`
- check(m8::V{}); //~ ERROR c::E
- check(m8::V); //~ ERROR c::Item
-}
-fn xf78() {
- check(xm7::V{}); //~ ERROR c::Item
- check(xm7::V); //~ ERROR expected value, found type alias `xm7::V`
- check(xm8::V{}); //~ ERROR c::E
- check(xm8::V); //~ ERROR c::Item
-}
-
-mod m9 {
- pub use ::c::E::*;
- pub type TV = ::c::Item;
-}
-mod mA {
- pub use ::c::E::*;
- pub const TV: ::c::Item = ::c::Item;
-}
-
-fn f9A() {
- check(m9::TV{}); //~ ERROR c::Item
- check(m9::TV); //~ ERROR c::E
- check(mA::TV{}); //~ ERROR c::E
- check(mA::TV); //~ ERROR c::Item
-}
-fn xf9A() {
- check(xm9::TV{}); //~ ERROR c::Item
- check(xm9::TV); //~ ERROR c::E
- check(xmA::TV{}); //~ ERROR c::E
- check(xmA::TV); //~ ERROR c::Item
-}
-
-mod mB {
- pub use ::c::E::*;
- pub type UV = ::c::Item;
-}
-mod mC {
- pub use ::c::E::*;
- pub const UV: ::c::Item = ::c::Item;
-}
-
-fn fBC() {
- check(mB::UV{}); //~ ERROR c::Item
- check(mB::UV); //~ ERROR c::E
- check(mC::UV{}); //~ ERROR c::E
- check(mC::UV); //~ ERROR c::Item
-}
-fn xfBC() {
- check(xmB::UV{}); //~ ERROR c::Item
- check(xmB::UV); //~ ERROR c::E
- check(xmC::UV{}); //~ ERROR c::E
- check(xmC::UV); //~ ERROR c::Item
-}
-
-fn main() {}
diff --git a/src/test/ui/namespace/namespace-mix.stderr b/src/test/ui/namespace/namespace-mix.stderr
deleted file mode 100644
index cb72d4a1c..000000000
--- a/src/test/ui/namespace/namespace-mix.stderr
+++ /dev/null
@@ -1,728 +0,0 @@
-error[E0423]: expected value, found type alias `m1::S`
- --> $DIR/namespace-mix.rs:34:11
- |
-LL | pub struct TS();
- | ---------------- similarly named tuple struct `TS` defined here
-...
-LL | check(m1::S);
- | ^^^^^
- |
- = note: can't use a type alias as a constructor
-help: a tuple struct with a similar name exists
- |
-LL | check(m1::TS);
- | ~~
-help: consider importing one of these items instead
- |
-LL | use m2::S;
- |
-LL | use xm2::S;
- |
-help: if you import `S`, refer to it directly
- |
-LL - check(m1::S);
-LL + check(S);
- |
-
-error[E0423]: expected value, found type alias `xm1::S`
- --> $DIR/namespace-mix.rs:40:11
- |
-LL | check(xm1::S);
- | ^^^^^^
- |
- ::: $DIR/auxiliary/namespace-mix.rs:3:5
- |
-LL | pub struct TS();
- | ------------- similarly named tuple struct `TS` defined here
- |
- = note: can't use a type alias as a constructor
-help: a tuple struct with a similar name exists
- |
-LL | check(xm1::TS);
- | ~~
-help: consider importing one of these items instead
- |
-LL | use m2::S;
- |
-LL | use xm2::S;
- |
-help: if you import `S`, refer to it directly
- |
-LL - check(xm1::S);
-LL + check(S);
- |
-
-error[E0423]: expected value, found type alias `m7::V`
- --> $DIR/namespace-mix.rs:100:11
- |
-LL | TV(),
- | ---- similarly named tuple variant `TV` defined here
-...
-LL | check(m7::V);
- | ^^^^^
- |
- = note: can't use a type alias as a constructor
-help: a tuple variant with a similar name exists
- |
-LL | check(m7::TV);
- | ~~
-help: consider importing one of these items instead
- |
-LL | use m8::V;
- |
-LL | use xm8::V;
- |
-help: if you import `V`, refer to it directly
- |
-LL - check(m7::V);
-LL + check(V);
- |
-
-error[E0423]: expected value, found type alias `xm7::V`
- --> $DIR/namespace-mix.rs:106:11
- |
-LL | check(xm7::V);
- | ^^^^^^
- |
- ::: $DIR/auxiliary/namespace-mix.rs:7:9
- |
-LL | TV(),
- | -- similarly named tuple variant `TV` defined here
- |
- = note: can't use a type alias as a constructor
-help: a tuple variant with a similar name exists
- |
-LL | check(xm7::TV);
- | ~~
-help: consider importing one of these items instead
- |
-LL | use m8::V;
- |
-LL | use xm8::V;
- |
-help: if you import `V`, refer to it directly
- |
-LL - check(xm7::V);
-LL + check(V);
- |
-
-error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:33:11
- |
-LL | check(m1::S{});
- | ----- ^^^^^^^ the trait `Impossible` is not implemented for `c::Item`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `c::S: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:35:11
- |
-LL | check(m2::S{});
- | ----- ^^^^^^^ the trait `Impossible` is not implemented for `c::S`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:36:11
- |
-LL | check(m2::S);
- | ----- ^^^^^ the trait `Impossible` is not implemented for `c::Item`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:39:11
- |
-LL | check(xm1::S{});
- | ----- ^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `namespace_mix::c::S: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:41:11
- |
-LL | check(xm2::S{});
- | ----- ^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::S`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:42:11
- |
-LL | check(xm2::S);
- | ----- ^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:55:11
- |
-LL | check(m3::TS{});
- | ----- ^^^^^^^^ the trait `Impossible` is not implemented for `c::Item`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `fn() -> c::TS {c::TS}: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:56:11
- |
-LL | check(m3::TS);
- | ----- ^^^^^^ the trait `Impossible` is not implemented for fn item `fn() -> c::TS {c::TS}`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `c::TS: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:57:11
- |
-LL | check(m4::TS{});
- | ----- ^^^^^^^^ the trait `Impossible` is not implemented for `c::TS`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:58:11
- |
-LL | check(m4::TS);
- | ----- ^^^^^^ the trait `Impossible` is not implemented for `c::Item`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:61:11
- |
-LL | check(xm3::TS{});
- | ----- ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `fn() -> namespace_mix::c::TS {namespace_mix::c::TS}: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:62:11
- |
-LL | check(xm3::TS);
- | ----- ^^^^^^^ the trait `Impossible` is not implemented for fn item `fn() -> namespace_mix::c::TS {namespace_mix::c::TS}`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `namespace_mix::c::TS: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:63:11
- |
-LL | check(xm4::TS{});
- | ----- ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::TS`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:64:11
- |
-LL | check(xm4::TS);
- | ----- ^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:77:11
- |
-LL | check(m5::US{});
- | ----- ^^^^^^^^ the trait `Impossible` is not implemented for `c::Item`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `c::US: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:78:11
- |
-LL | check(m5::US);
- | ----- ^^^^^^ the trait `Impossible` is not implemented for `c::US`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `c::US: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:79:11
- |
-LL | check(m6::US{});
- | ----- ^^^^^^^^ the trait `Impossible` is not implemented for `c::US`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:80:11
- |
-LL | check(m6::US);
- | ----- ^^^^^^ the trait `Impossible` is not implemented for `c::Item`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:83:11
- |
-LL | check(xm5::US{});
- | ----- ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `namespace_mix::c::US: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:84:11
- |
-LL | check(xm5::US);
- | ----- ^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::US`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `namespace_mix::c::US: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:85:11
- |
-LL | check(xm6::US{});
- | ----- ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::US`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:86:11
- |
-LL | check(xm6::US);
- | ----- ^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:99:11
- |
-LL | check(m7::V{});
- | ----- ^^^^^^^ the trait `Impossible` is not implemented for `c::Item`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `c::E: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:101:11
- |
-LL | check(m8::V{});
- | ----- ^^^^^^^ the trait `Impossible` is not implemented for `c::E`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:102:11
- |
-LL | check(m8::V);
- | ----- ^^^^^ the trait `Impossible` is not implemented for `c::Item`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:105:11
- |
-LL | check(xm7::V{});
- | ----- ^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `namespace_mix::c::E: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:107:11
- |
-LL | check(xm8::V{});
- | ----- ^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::E`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:108:11
- |
-LL | check(xm8::V);
- | ----- ^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:121:11
- |
-LL | check(m9::TV{});
- | ----- ^^^^^^^^ the trait `Impossible` is not implemented for `c::Item`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `fn() -> c::E {c::E::TV}: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:122:11
- |
-LL | check(m9::TV);
- | ----- ^^^^^^ the trait `Impossible` is not implemented for fn item `fn() -> c::E {c::E::TV}`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `c::E: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:123:11
- |
-LL | check(mA::TV{});
- | ----- ^^^^^^^^ the trait `Impossible` is not implemented for `c::E`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:124:11
- |
-LL | check(mA::TV);
- | ----- ^^^^^^ the trait `Impossible` is not implemented for `c::Item`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:127:11
- |
-LL | check(xm9::TV{});
- | ----- ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `fn() -> namespace_mix::c::E {namespace_mix::xm7::TV}: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:128:11
- |
-LL | check(xm9::TV);
- | ----- ^^^^^^^ the trait `Impossible` is not implemented for fn item `fn() -> namespace_mix::c::E {namespace_mix::xm7::TV}`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `namespace_mix::c::E: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:129:11
- |
-LL | check(xmA::TV{});
- | ----- ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::E`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:130:11
- |
-LL | check(xmA::TV);
- | ----- ^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:143:11
- |
-LL | check(mB::UV{});
- | ----- ^^^^^^^^ the trait `Impossible` is not implemented for `c::Item`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `c::E: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:144:11
- |
-LL | check(mB::UV);
- | ----- ^^^^^^ the trait `Impossible` is not implemented for `c::E`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `c::E: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:145:11
- |
-LL | check(mC::UV{});
- | ----- ^^^^^^^^ the trait `Impossible` is not implemented for `c::E`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:146:11
- |
-LL | check(mC::UV);
- | ----- ^^^^^^ the trait `Impossible` is not implemented for `c::Item`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:149:11
- |
-LL | check(xmB::UV{});
- | ----- ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `namespace_mix::c::E: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:150:11
- |
-LL | check(xmB::UV);
- | ----- ^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::E`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `namespace_mix::c::E: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:151:11
- |
-LL | check(xmC::UV{});
- | ----- ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::E`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
- --> $DIR/namespace-mix.rs:152:11
- |
-LL | check(xmC::UV);
- | ----- ^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
- | |
- | required by a bound introduced by this call
- |
-note: required by a bound in `check`
- --> $DIR/namespace-mix.rs:21:13
- |
-LL | fn check<T: Impossible>(_: T) {}
- | ^^^^^^^^^^ required by this bound in `check`
-
-error: aborting due to 48 previous errors
-
-Some errors have detailed explanations: E0277, E0423.
-For more information about an error, try `rustc --explain E0277`.
diff --git a/src/test/ui/namespace/namespaced-enum-glob-import-no-impls-xcrate.rs b/src/test/ui/namespace/namespaced-enum-glob-import-no-impls-xcrate.rs
deleted file mode 100644
index feb94b681..000000000
--- a/src/test/ui/namespace/namespaced-enum-glob-import-no-impls-xcrate.rs
+++ /dev/null
@@ -1,15 +0,0 @@
-// aux-build:namespaced_enums.rs
-extern crate namespaced_enums;
-
-mod m {
- pub use namespaced_enums::Foo::*;
-}
-
-pub fn main() {
- use namespaced_enums::Foo::*;
-
- foo(); //~ ERROR cannot find function `foo` in this scope
- m::foo(); //~ ERROR cannot find function `foo` in module `m`
- bar(); //~ ERROR cannot find function `bar` in this scope
- m::bar(); //~ ERROR cannot find function `bar` in module `m`
-}
diff --git a/src/test/ui/namespace/namespaced-enum-glob-import-no-impls-xcrate.stderr b/src/test/ui/namespace/namespaced-enum-glob-import-no-impls-xcrate.stderr
deleted file mode 100644
index 227d30282..000000000
--- a/src/test/ui/namespace/namespaced-enum-glob-import-no-impls-xcrate.stderr
+++ /dev/null
@@ -1,27 +0,0 @@
-error[E0425]: cannot find function `foo` in module `m`
- --> $DIR/namespaced-enum-glob-import-no-impls-xcrate.rs:12:8
- |
-LL | m::foo();
- | ^^^ not found in `m`
-
-error[E0425]: cannot find function `bar` in module `m`
- --> $DIR/namespaced-enum-glob-import-no-impls-xcrate.rs:14:8
- |
-LL | m::bar();
- | ^^^ not found in `m`
-
-error[E0425]: cannot find function `foo` in this scope
- --> $DIR/namespaced-enum-glob-import-no-impls-xcrate.rs:11:5
- |
-LL | foo();
- | ^^^ not found in this scope
-
-error[E0425]: cannot find function `bar` in this scope
- --> $DIR/namespaced-enum-glob-import-no-impls-xcrate.rs:13:5
- |
-LL | bar();
- | ^^^ not found in this scope
-
-error: aborting due to 4 previous errors
-
-For more information about this error, try `rustc --explain E0425`.
diff --git a/src/test/ui/namespace/namespaced-enum-glob-import-no-impls.rs b/src/test/ui/namespace/namespaced-enum-glob-import-no-impls.rs
deleted file mode 100644
index ab24f36f9..000000000
--- a/src/test/ui/namespace/namespaced-enum-glob-import-no-impls.rs
+++ /dev/null
@@ -1,25 +0,0 @@
-mod m2 {
- pub enum Foo {
- A,
- B(isize),
- C { a: isize },
- }
-
- impl Foo {
- pub fn foo() {}
- pub fn bar(&self) {}
- }
-}
-
-mod m {
- pub use m2::Foo::*;
-}
-
-pub fn main() {
- use m2::Foo::*;
-
- foo(); //~ ERROR cannot find function `foo` in this scope
- m::foo(); //~ ERROR cannot find function `foo` in module `m`
- bar(); //~ ERROR cannot find function `bar` in this scope
- m::bar(); //~ ERROR cannot find function `bar` in module `m`
-}
diff --git a/src/test/ui/namespace/namespaced-enum-glob-import-no-impls.stderr b/src/test/ui/namespace/namespaced-enum-glob-import-no-impls.stderr
deleted file mode 100644
index 111ac7ab0..000000000
--- a/src/test/ui/namespace/namespaced-enum-glob-import-no-impls.stderr
+++ /dev/null
@@ -1,27 +0,0 @@
-error[E0425]: cannot find function `foo` in module `m`
- --> $DIR/namespaced-enum-glob-import-no-impls.rs:22:8
- |
-LL | m::foo();
- | ^^^ not found in `m`
-
-error[E0425]: cannot find function `bar` in module `m`
- --> $DIR/namespaced-enum-glob-import-no-impls.rs:24:8
- |
-LL | m::bar();
- | ^^^ not found in `m`
-
-error[E0425]: cannot find function `foo` in this scope
- --> $DIR/namespaced-enum-glob-import-no-impls.rs:21:5
- |
-LL | foo();
- | ^^^ not found in this scope
-
-error[E0425]: cannot find function `bar` in this scope
- --> $DIR/namespaced-enum-glob-import-no-impls.rs:23:5
- |
-LL | bar();
- | ^^^ not found in this scope
-
-error: aborting due to 4 previous errors
-
-For more information about this error, try `rustc --explain E0425`.