summaryrefslogtreecommitdiffstats
path: root/src/test/ui/coherence/coherence_inherent.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/coherence/coherence_inherent.rs')
-rw-r--r--src/test/ui/coherence/coherence_inherent.rs36
1 files changed, 0 insertions, 36 deletions
diff --git a/src/test/ui/coherence/coherence_inherent.rs b/src/test/ui/coherence/coherence_inherent.rs
deleted file mode 100644
index f3ebf0003..000000000
--- a/src/test/ui/coherence/coherence_inherent.rs
+++ /dev/null
@@ -1,36 +0,0 @@
-// Tests that methods that implement a trait cannot be invoked
-// unless the trait is imported.
-
-mod Lib {
- pub trait TheTrait {
- fn the_fn(&self);
- }
-
- pub struct TheStruct;
-
- impl TheTrait for TheStruct {
- fn the_fn(&self) {}
- }
-}
-
-mod Import {
- // Trait is in scope here:
- use Lib::TheStruct;
- use Lib::TheTrait;
-
- fn call_the_fn(s: &TheStruct) {
- s.the_fn();
- }
-}
-
-mod NoImport {
- // Trait is not in scope here:
- use Lib::TheStruct;
-
- fn call_the_fn(s: &TheStruct) {
- s.the_fn();
- //~^ ERROR E0599
- }
-}
-
-fn main() {}